// JavaScript Document
<!--
 function chooseRadio(form) {
  if (typeof(form) != "undefined") {
     form.checked = true;
  }
 }
 function launch(newURL, newName, newFeatures, orgName) {
  var remote = open(newURL, newName, newFeatures);
  if (remote.opener == null)
    remote.opener = window;
  remote.opener.name = orgName;
  return remote;
 }
 function launchDomains() {
  myDomains = launch("http://www.altavista.com/web/domains", "domains", "height=450,width=600,channelmode=0,dependent=0,directories=0,fullscreen=0,location=0,menubar=0,resizable=1,scrollbars=1,status=0,toolbar=0", "main");
 }
//-->