<!--
//  Date Created: 06/08/2001
//  Created by Martyn van der Noordaa (Carlson, www.carlsonsolutions.com)
//  Citizen Portal Project Development Team - Wisconsin Dept of Administration

// convert all characters to lowercase to simplify testing 
var agt=navigator.userAgent.toLowerCase();
var app=navigator.appName.toLowerCase();

// Set global browser stuff variables.
var is_major = parseInt(navigator.appVersion); 
var is_nav  = (agt.indexOf('mozilla') != -1);
var is_ie   = (agt.indexOf("msie") != -1); 
var is_ie4up  = (is_ie  && (is_major >= 4)); 
var is_nav4up = (is_nav && (is_major >= 4)); 


// Set browser specific search box size.


function SearchBox() {
  if ((app.indexOf('netscape') != -1)) {
    document.write('<input type=text name=qt size=12 value="" maxlength=2047>')
  }
  else {
    document.write('<input type=text name=qt size=15 value="" maxlength=2047>')
  }
  //document.search.qt.focus();
}

//set url for search function on DET web server engine
function writeLocation(){
document.write('<input type="hidden" name="qp" value="site:' + location.host + '">');
}



function Search(){
document.write('<form target="_blank" name="search" method="get" action="http://search.wi.gov/query.html">');
          document.write('<input type="hidden" name="style" value="eab">');
          document.write('<script language="JavaScript">writeLocation();</script>');
          document.write('<script language="JavaScript">SearchBox();</script>');
          document.write('<br><input type="image" src="/images/search.gif" border="0" width="45" height="10" value="SEEK">');
          document.write('</form>');
}



function currentDate() {
	var curDate=new Date();
	var months = new Array();
	myMonths=["January","February","March","April","May","June","July","August","September","October","November","December"];
	
	function getFullYear(d) {
		var y=d.getYear();
		if (y < 1000) y += 1900;
		return y;
	}
	
	document.writeln(myMonths[curDate.getMonth()] + " " + curDate.getDate() + ", " + getFullYear(curDate));	
}
 
//-->