// last updated 01/17/2007

//     Search System - Inhouse or on the Web with Google 

var header = document.URL.indexOf("http://www.")
  if (header == "0" ){
    document.write('<script language="JavaScript" type"text/javascript" src="Assets/js/search_google.js"></script>');
  }
  else {
    document.write('<script language="JavaScript" type"text/javascript" src="Assets/search/search_01.js"></script>');
    document.write('<script language="JavaScript" type"text/javascript" src="searchdb.js"></script>');
    document.write('<script language="JavaScript" type"text/javascript" src="Assets/search/search_02.js"></script>');
  }