var page_id = document.body.getAttribute("class");
var nav_node = document.getElementById("nav_" + page_id)
var attributes = nav_node.attributes;
attributes.removeNamedItem("onmouseover");
attributes.removeNamedItem("onmouseout");

