window.addEvent("load", function()
{
 var SearchForm = document.getElementById("SearchForm");
 var inputs = SearchForm.getElementsByTagName("input");
 var textbox = document.getElementById("SearchTextInput");
 for(var i = 0; i < inputs.length; i++)
 {
  var input = inputs[i];
  if(input.getAttribute('type') == 'radio')
  {
   input.addEvent = addEvent;
   input.addEvent("click", function() { textbox.focus(); });
  }
 }
});