<!--
      //Edit the url below in quotes to your whois server.  
      //The quotes and ; must remain in the link for it to work properly
      //
      //
      //
      var url = 'https://www.domaindirect.com/tracker.cgi?do=infosearch&pageid=tucowssearch1&domain=';
      //
      //Do not edit anything below this line
      //
      //
      //
      function formSubmitListing(form) {
         if ( form.platform_id.value == "domains") {
           window.open(url+form.search.value);
           return false;
         }
         return true;
      }
//-->