// JavaScript Document

<!-- 
//
// format date as dd-mmm-yy
// example: 12-Jan-99
//
function date_ddmmmyy(date)
{
  var d = date.getDate();
  //alert('Day ' + d);
  var m = date.getMonth() + 1;
  //alert('Month ' + m);
  var y = date.getYear();
  //alert('Year ' + y);
  var c = new Date(y,m,d);
  
  //alert('Date ' + c);
  
  var dayOfWeek = date.getDay();
 //alert('Day of Week ' + dayOfWeek);
 
  var days = new Array("Sun.","Mon.","Tue.","Wed.","Thur.","Fri.","Sat.");
  var dname = days[dayOfWeek];
  

  
  // could use splitString() here 
  // but the following method is 
  // more compatible
  var mmm = 
    ( 1==m)?'Jan':( 2==m)?'Feb':(3==m)?'Mar':
    ( 4==m)?'Apr':( 5==m)?'May':(6==m)?'Jun':
    ( 7==m)?'Jul':( 8==m)?'Aug':(9==m)?'Sep':
    (10==m)?'Oct':(11==m)?'Nov':'Dec';

    
  return dname +", " +
    mmm + " " + (d<10?"0"+d:d) + ", " +
    (y<10?"0"+y:y);
}

//
// get last modified date of the 
// current document.
//

function openLargePicture(picName){
	//alert(picName.toString());
	var tName = '';
	var iPos1 = 0;
	var ImgName = picName.substring(0, iPos1 - 6);
	var Hpic;
	var Wpic;
	var sFeature;
	var leftPos = 0;
	tName = picName.toString();
	
	Img5 = new Image;
	Img5.src = tName;
	//alert(tName.toString());
	Wpic = Img5.width + 25;
	Hpic = Img5.height + 25;
	//alert('width ' + Img5.width + ' height ' + Img5.height );
	//document.ClockImg.width = Img5.width;
	//document.ClockImg.height = Img5.height;
	
	//document.ClockImg.src = tName;
	//alert(tName.toString());
	//if (clockWindow && !clockWindow.closed) {
	//	clockWindow.close();
	//}
	if (screen){
		leftPos = screen.width - Wpic;
	}
	
	sFeature = 'toolbar=no, location=no, scrollbars=yes, width=' + Wpic + ', height=' + Hpic + ', left=' + leftPos + ', top=10';
	
	clockWindow = window.open(tName.toString(),"LargeMap",sFeature);

}

function date_lastmodified()
{
  var lmd = document.lastModified;
  var s   = "Unknown";
  var d1;

  // check if we have a valid date
  // before proceeding
  if(0 != (d1=Date.parse(lmd)))
  {
    s = "" + date_ddmmmyy(new Date(d1));
  }

  return s;
}

//
// finally display the last modified date
// as DD-MMM-YY
//
//document.write( 
//  "This page was updated on " + 
//  date_lastmodified() );

// -->