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.01
  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 && d.getElementById) x=d.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];}
}

//date function

   var day = new Date();
   var mm = "01";     //Month
   var dd = day.getDate();  //Date
   var yy = day.getYear();  //Year
   var year = "0";  //Year used for display
   var y2k = "2000";
    
   if (day.getMonth() == 1)
     mm = "02";
   else if (day.getMonth() == 2)
     mm = "03";
   else if (day.getMonth() == 3)
     mm = "04";
   else if (day.getMonth() == 4)
     mm = "05";
   else if (day.getMonth() == 5)
     mm = "06";
   else if (day.getMonth() == 6)
     mm = "07";
   else if (day.getMonth() == 7)
     mm = "08";
   else if (day.getMonth() == 8)
     mm = "09";
   else if (day.getMonth() == 9)
     mm = "10";
   else if (day.getMonth() == 10)
     mm = "11";
   else if (day.getMonth() == 11)
     mm = "12";


   if (day.getDate() == 1)
     dd = "01";
   else if (day.getDate() == 2)
     dd = "02";
   else if (day.getDate() == 3)
     dd = "03";
   else if (day.getDate() == 4)
     dd = "04";
   else if (day.getDate() == 5)
     dd = "05";
   else if (day.getDate() == 6)
     dd = "06";
   else if (day.getDate() == 7)
     dd = "07";
   else if (day.getDate() == 8)
     dd = "08";
   else if (day.getDate() == 9)
     dd = "09";
  
   year = yy - y2k;
   if (year < 10)
    year = "0" + year;  // used to display 2 digit year
 
//end date function
