// JavaScript Document
<!--
var timer = 0;

function MyBanner()
{
document.getElementById('banner').style.pixelTop = document.body.scrollTop;
timer = setTimeout("MyBanner()", 1);
}

function Stop()
{
clearTimeout(timer);
}

var timer2 = 0;

function MyBanner2()
{
document.getElementById('banner2').style.pixelTop = document.body.scrollTop;
timer2 = setTimeout("MyBanner2()", 1);
}

function Stop2()
{
clearTimeout(timer2);
}

-->