function showmenu(elmnt)
{
document.getElementById(elmnt).style.visibility="visible";
}
function hidemenu(elmnt)
{
document.getElementById(elmnt).style.visibility="hidden";
}

function make_active(id_)
 {
 document.getElementById(id_).style.cursor="pointer";
 document.getElementById(id_).style.color="#990033";

  }
		
function make_inactive(id_)
 {
 document.getElementById(id_).style.cursor="default";
 document.getElementById(id_).style.color="#003366";
  }	

 
function submit_form(id_)
  {
	document.getElementById(id_).submit();
	}