// general
function $(v) { return(document.getElementById(v)); }
function $S(v) { return(document.getElementById(v).style); }
function toggle(v) { $S(v).display=($S(v).display=='none'?'block':'none'); }

// app specific
function buttonSubmit(btn,frm) { $(btn).blur(); $(frm).submit(); }