// <Script>
function get_service()
{
  var service_required = document.service.service_type[document.service.service_type.selectedIndex].value;
   
  switch (service_required)
  {
  case "ant": window.location.href="service_ant.htm?service=ant"; break;
  case "asth": window.location.href="service_asth.htm?service=asth"; break;
  case "chi": window.location.href="service_chi.htm?service=chi"; break;
  case "dia": window.location.href="service_dia.htm?service=dia"; break;  						
  case "famp": window.location.href="service_famp.htm?service=famp"; break;
  case "hhc": window.location.href="service_hhc.htm?service=hhc"; break;
  case "msur": window.location.href="service_msur.htm?service=msur"; break;
  case "phl": window.location.href="service_phl.htm?service=phl"; break;
  case "ps": window.location.href="service_ps.htm?service=ps"; break;  			
  case "smoke": window.location.href="service_smoke.htm?service=smoke"; break;
  case "ta": window.location.href="service_ta.htm?service=ta"; break;
  default:
    // Do Nothing
	break;
  }
  return true;
}

// Set Select Box to the current option.
function set_service_type(serv_type) { 
  var counter;
  var stype;
  var service_type = document.service.service_type;
  
  counter = serv_type.indexOf("?service=");
  if (counter != -1)
    stype = serv_type.substr(counter+9, 7); 
  else
    stype = "NONE";
	
  counter = 0;
  while (service_type[counter].value != stype) {
    counter++
  }
  service_type.selectedIndex = counter;
}