function g(o){ return document.getElementById(o); }