function lucky ( site )
{
  window.location.href(site);
}

function sett ( sitetype )
{
  document.myform.t.value = sitetype ;
  document.myform.submit() ;
}

function setrelated ( softwareID )
{
  document.myform.q.value = "related:" + softwareID ;
  document.myform.submit() ;
}

function setfocus ()
{
  document.myform.q.focus() ;
}