function marquee_stop(id)
{
	document.getElementById(id).stop();
}

function marquee_start(id)
{
	document.getElementById(id).start();
}