// hover implementation for top menu
function OnMouseOver(sender) {
    if (sender.getAttribute("over") != 1) {
        sender.setAttribute("over", 1);
        sender.setAttribute("oldsrc", sender.src);
        sender.src = sender.alt;
    }
}
function OnMuseOut(sender) {
    if (sender.getAttribute("over") == 1) {
        sender.src = sender.getAttribute("oldsrc")
        sender.setAttribute("over", 0);
    }
}