function gid(id){ return document.getElementById(id);}
function empty(string){ if(string=='undefined' || string=='' || string==null) return true; return false;}
function html(htmlid,string){ gid('s'+htmlid).innerHTML=string;}
function g(id){ return gid(id).value;};
function f(id){ gid(id).focus();};
function msg(string,url){ alert(string); empty(url)?loction.reload():location.href=url;}