document.getElementById("b").function() {
navMouseOver()
};

document.getElementById("a").onmouseout = function() {
navMouseOut()
};