function gid($co) {return document.getElementById($co);}