// JavaScript Document

function stop_mar ()
{
document.getElementById("news").scrollDelay=20000;	
}
function start_mar ()
{
document.getElementById("news").scrollDelay=250;	
}