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('nav0','display','block'); c('u0','display','block');