function NachOben() {
  scroll_int = setInterval("scrolling();",10);
}
        
function scrolling(){
	if(top.document.documentElement.scrollTop > 0) {
    top.scrollBy(0,-10);
  }
  else {
    clearInterval(scroll_int);
	}
}

function setFrameHeight(){
	if(top.document.getElementById('inhframe')){
		top.document.getElementById('inhframe').style.height = document.body.offsetHeight+25+'px';
	}		
}