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