var blankSrc = "images/blank.gif";

function over(ID)
{
	document.getElementById(ID).style.background="url(background/top_menu_hover.gif) top repeat-x";
}

function out(ID)
{	document.getElementById(ID).style.background="none"; }