function show_menu(a)
{
 document.getElementById(a).style.backgroundColor = "#109810";
 document.getElementById("sub"+a).style.display = "block";
}
function hide_menu(a)
{
 document.getElementById(a).style.backgroundColor = "#107810";
 document.getElementById("sub"+a).style.display = "none";
}