function menu_over(id)
{document.getElementById(id).style.background="url('img/menu_over.gif') no-repeat";}
function menu_out(id)
{document.getElementById(id).style.background="url('img/menu.gif') no-repeat";}