function navbarTopMouseOver(id) {
    document.getElementById(id).src="images/" + id + "_light_grey.gif";
}

function navbarTopMouseOut(id) {
    document.getElementById(id).src="images/" + id + "_dark_grey.gif";
}