function redir(url)
{
  document.location = url;
}

function delayed_redir(url, delay)
{
  window.setTimeout("redir('" + url + "')", delay);
}

window.onload = function(){

  if(document.forms[0])
  {
    var f = document.forms[0];
    for(i = 0; i < f.elements.length; i++)
    {
      var e = f.elements[i];
      if(e.type != 'radio' && e.type != 'checkbox' && e.type != 'button')
      {
        e.focus();
        e.select();
        i = f.elements.length;
      }
    }
  }
}