function $(id){return document.getElementById(id);}
function hidden(id){$(id).className='hidden'==$(id).className?'':'hidden';}