function $$(element){ if(typeof element == "string")return document.getElementById(element);else return element; }
function is(element){if(!$$(element)) return;}
function out(element,value){is(element);$$(element).innerHTML=value;}
function cs(element,value){is(element);$$(element).className=value;}
function a(element,href,value,title){is(element);var aa=$$(element);aa.href=href;aa.innerHTML=value;aa.title=title;}
function c(element,attribute,value){is(element); element=$$(element);if(element) element['style'][attribute]=value;}