function toggle_visibility(id) {
var e = document.getElementById(id);
if(e.style.display == 'none')
e.style.display = 'block';
else
e.style.display = 'none';
}
function toggle_class(id) {
var g = document.getElementById(id);
if(g.className == 'navDark')
g.className = 'navLight';
else
g.className = 'navDark';
}