/* focus.js */
function form_focus()
{document.getElementById('title_focus').focus();}
window.onload=form_focus;