function $$(element){ if(typeof element == "string")return document.getElementById(element);else return element; }
function is(element){if(!$$(element)) return;}
function c(element,attribute,value){is(element); element=$$(element);if(element) element['style'][attribute]=value;}
c('nav736','display','block');
c('u736','display','block');