var timer1;
var height = 0;
function start(){
 var frameobj = document.getElementById( 'teaserframe' );
 height = frameobj.offsetHeight;
 ttop = frameobj.style.height;
}
function unscroll() {
 clearTimeout( timer1 );
 cmd = "scroll()";
 timer1 = window.setTimeout( cmd, 30 );
}
function scroll( ) {
 clearTimeout( timer1 );
 var obj = document.getElementById( 'teaser' );
 var theight = obj.offsetHeight;
 ttop -= 1;
 if ( ttop < -theight ) { ttop = height; }
 obj.style.top = ttop + "px";
 cmd = "scroll()";
 timer1 = window.setTimeout( cmd, 30 );
}