if(typeof jQuery == 'undefined')
{
	// Upgraded to new jQuery. Saved old reference just in case new version breaks something.
	// document.write("<script type=\"text/javascript\" src=\"http://www.co.frederick.va.us/jquery/jquery-1.3.2.min.js\"><\/script>");
	// document.write("<script type=\"text/javascript\" src=\"http://www.co.frederick.va.us/jquery/jquery.js\"><\/script>");
	document.write("<script type=\"text/javascript\" src=\"https://ajax.googleapis.com/ajax/libs/jquery/1.5.1/jquery.min.js\"><\/script>");
	// var __noconflict = true;
	// Old UI is still in the 1.7.3 folder.
	document.write("<script type=\"text/javascript\" src=\"http://www.co.frederick.va.us/jquery/ui/1.8.9/js/jquery-ui-1.8.9.custom.min.js\"><\/script>");
	document.write("<link type=\"text/css\" href=\"http://www.co.frederick.va.us/jquery/ui/1.8.9/css/custom-theme/jquery-ui-1.8.9.custom.css\" rel=\"stylesheet\" \/>");
	// document.write("<link href=\"/jquery/ui/development-bundle/themes/base/ui.all.css\" rel=\"stylesheet\" type=\"text/css\" \/>");
}