function BodyOnLoad() {
  var browser = navigator.appName;
  var version = navigator.appVersion;
  if (browser=="Netscape")
      document.searchForm.elements['raw'].size=5;
  else
  if (browser=="Microsoft Internet Explorer")
      document.searchForm.elements['raw'].size=15;
}