function MM_reloadPage(init) {  //reloads the window if Nav4 resized
  if (init==true) with (navigator) {if ((appName=="Netscape")&&(parseInt(appVersion)==4)) {
    document.MM_pgW=innerWidth; document.MM_pgH=innerHeight; onresize=MM_reloadPage; }}
  else if (innerWidth!=document.MM_pgW || innerHeight!=document.MM_pgH) location.reload();
}
MM_reloadPage(true);

function MM_swapImgRestore() { //v3.0
  var i,x,a=document.MM_sr; for(i=0;a&&i<a.length&&(x=a[i])&&x.oSrc;i++) x.src=x.oSrc;
}

function MM_preloadImages() { //v3.0
  var d=document; if(d.images){ if(!d.MM_p) d.MM_p=new Array();
    var i,j=d.MM_p.length,a=MM_preloadImages.arguments; for(i=0; i<a.length; i++)
    if (a[i].indexOf("#")!=0){ d.MM_p[j]=new Image; d.MM_p[j++].src=a[i];}}
}

function MM_findObj(n, d) { //v4.0
  var p,i,x;  if(!d) d=document; if((p=n.indexOf("?"))>0&&parent.frames.length) {
    d=parent.frames[n.substring(p+1)].document; n=n.substring(0,p);}
  if(!(x=d[n])&&d.all) x=d.all[n]; for (i=0;!x&&i<d.forms.length;i++) x=d.forms[i][n];
  for(i=0;!x&&d.layers&&i<d.layers.length;i++) x=MM_findObj(n,d.layers[i].document);
  if(!x && document.getElementById) x=document.getElementById(n); return x;
}

function MM_swapImage() { //v3.0
  var i,j=0,x,a=MM_swapImage.arguments; document.MM_sr=new Array; for(i=0;i<(a.length-2);i+=3)
   if ((x=MM_findObj(a[i]))!=null){document.MM_sr[j++]=x; if(!x.oSrc) x.oSrc=x.src; x.src=a[i+2];}
}


function GetDay(intDay){
  var DayArray = new Array("Sunday", "Monday", "Tuesday", "Wednesday", 
                         "Thursday", "Friday", "Saturday")
  return DayArray[intDay]
}

function GetMonth(intMonth){
  var MonthArray = new Array("January", "February", "March",
                               "April", "May", "June",
                               "July", "August", "September",
                               "October", "November", "December") 
  return MonthArray[intMonth] 	  	 
}

function getDateStrWithDOW(){
  var today = new Date()
  var year = today.getYear()
  if(year<1000) year+=1900
  var todayStr = GetDay(today.getDay()) + " "

	// store date number
	var date_num = today.getDate();
	
	//convert to a string
	var date_num_str = String(date_num);
	//store length
	var date_num_str_len = date_num_str.length;
	
	// check length
	if (date_num_str_len == 1)
	{
	 	 // use the whole date as only 1 digit long
	 	 var date_last_digit = date_num_str;
	}
	else if (date_num_str_len == 2)
	{
	 	 // use the last digit of the 2-digit date
	 	 var date_last_digit = date_num_str.substring(1,2);	
	}
	
	// the switch statement below chooses the correct ending, depending on the preceding number 
	switch (date_last_digit)
	{
	 case "1":
	 					var ending = "st"
	 					break;
	 case "2":
	 					var ending = "nd"
	 					break;	 
	 case "3":
	 					var ending = "rd"
	 					break;	 
	 default:	 	 	 
	 					var ending = "th"
	 					break;	 
	}
	
	// catch the dates which break the above rules
	// Only want to do this if it's in this range
	if ((date_num > 10) && (date_num < 14))
	{
    	switch (date_num)
    	{
    	 case "11":
    	 					var ending = "th"
    	 					break;
    	 case "12":
    	 					var ending = "th"
    	 					break;	 
    	 case "13":
    	 					var ending = "th"
    	 					break;	 
    	 default:	 	 	 
    	 					var ending = "th"
    	 					break;	 
    	}
	}
	
  todayStr += date_num + ending + " " + GetMonth(today.getMonth())
  todayStr += ", " + year
  return todayStr
}