image1 = new Image();
image1.src = "../images/topmenu1_over.gif";
image2 = new Image();
image2.src = "../images/topmenu2_over.gif";
image3 = new Image();
image3.src = "../images/topmenu3_over.gif";
image4 = new Image();
image4.src = "../images/topmenu4_over.gif";
image5 = new Image();
image5.src = "../images/topmenu5_over.gif";

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