function focus()
{
    document.getElementById("user_name").focus();
}