function $(id){return document.getElementById(id);}
function $F(id){return $(id).value;}