<!--
			
			function goSitemap(where) 
			{
				if (where.charAt(0)=='!') 
				{
				}
				else if (where=='files')
				{
					window.open( 'files/index.html');
				}
				else 
				{
					self.location.href=where+'.html'
				}
			}
			
			function printDateStamp()
			{
				var mydate = new Date()
				var year =   mydate.getYear()
				var day =    mydate.getDay()
				var month =  mydate.getMonth()
				var daym =   mydate.getDate()
				var dayarray =   new Array("Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday")
				var montharray = new Array("January","February","March","April","May","June","July","August","September","October","November","December")

				if (year < 1000)
					year+=1900

				if (daym<10)
					daym = "0" + daym

				return(dayarray[day]+", "+montharray[month]+" "+daym+", "+year)			
			}
			
			function printDateModified (time) 
			{
			
			  // Assign date variables with document.lastModified 
			  var modDate = new Date(Date.parse(document.lastModified));
			  
			  // If we have a valid date reformat it.
			  if (modDate != 0) 
			  { 
				// ndate variable holds day of month
				var ndate = modDate.getDate().toString();
				if (ndate.length == 1 ) ndate = "0" + ndate;
				
				// Set up month variable and pad if necessary
				var month = (modDate.getMonth() + 1).toString();
				if (month.length == 1 ) month = "0" + month;
				
				// Set up year variable and adjust as necessary.
				var year = modDate.getYear();
				if (year < 1000) year = year + 1900;
				
				// Load up the time variables if required
				if (time)
				{
				  var hour = modDate.getHours().toString();
				  if (hour.length == 1) hour = "0" + hour; 
				  var minute = modDate.getMinutes().toString();
				  if (minute.length == 1) minute = "0" + minute;
				  var second = modDate.getSeconds().toString();
				  if (second.length == 1) second = "0" + second;
				}
				
				// Display date and time document was last updated.
				var returnString = "";
				
				returnString = month + "/" + ndate + "/" + year;
				if (time) 
				{
				  returnString = returnString + "  " + hour + ":" + minute + ":" + second;
				}
				
				return returnString;
				
			  }
			  
			}
			
			
			//-------------------------------------------------------------
			//      Variable initialization for paging
			//-------------------------------------------------------------
			
			var max_text    = 240
			
			var sub_length  = 0
			var mesg_length = 0
			var from_length = 0
			
			//-------------------------------------------------------------
			//      Counts characters in fields.
			//      Truncates the message field if too many chars.  
			//-------------------------------------------------------------
			
			function countCharacters()
			{
				var cnt = 0;
				var data = "";
			
				if(document == null ||
				   document.PageForm == null ||
				   document.PageForm.count == null)
					return;
					
				if( document.PageForm.subject_string != null )
					sub_length = document.PageForm.subject_string.value.length;
					
				if( document.PageForm.mesg_to_send != null )
					mesg_length = document.PageForm.mesg_to_send.value.length;
					
				if( document.PageForm.from_string != null )
					from_length = document.PageForm.from_string.value.length;
			
				document.PageForm.count.value = sub_length + mesg_length + from_length;
				
				if( document.PageForm.count.value > max_text )
				   {
					   alert ("Maximum message length reached. Your message has been truncated at "+max_text+" characters.");
					   data = document.PageForm.mesg_to_send.value
					   document.PageForm.mesg_to_send.value = data.substring( 0, ( max_text - sub_length - from_length ) );
					   mesg_length = document.PageForm.mesg_to_send.value.length;
					   document.PageForm.count.value = max_text;
				   }
				   
				return true;
			}			
			
		//-->