function getLongDateString()
{	
        //method defined on class Date.
	//Returns a date string of the form: Day DD Month,YYYY
	//(e.g. Sunday 27 September, 1998)
	monthNames = new Array("January","February","March","April","May","June","July","August","September","October","November","December");
        dayNames = new Array("Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday");
	dayOfWeek = this.getDay();
	day = dayNames[dayOfWeek];
	dateOfMonth = this.getDate();
        monthNo = this.getMonth();
	month = monthNames[monthNo];
        year = this.getYear();
	if (year < 2000)
          year = year + 1900;

        dateStr = dateOfMonth+" "+month+" "+year;
        //dateStr = day+" "+dateOfMonth+" "+month+","+year;
	return dateStr;
}
//register the  method in the class Date
Date.prototype.getLongDateString=getLongDateString;

function lastUpdated()
{ //return the document modification date (excl.time)
//as a string
	DateTimeStr = document.lastModified;
	secOffset = Date.parse(DateTimeStr);
	if (secOffset == 0 || secOffset == null) //Opera3.2
			 dateStr = "Unknown";
	else
	{
		aDate = new Date();
		aDate.setTime(secOffset);
		//use method defined above
		datestr = aDate.getLongDateString();
	}
	document.write(dateStr);
}

function openClose(id)
	{var obj = "";	 
 
		// Check browser compatibility
		if(document.getElementById)
			obj = document.getElementById(id).style; 
		else if(document.all) 
			obj = document.all[id]; 
		else if(document.layers)
			obj = document.layers[id]; 
		else
			return 1; 
			 
		// Do the magic :) 
		if(obj.display == "")
			obj.display = "none"; 
		else if(obj.display != "none") 
			obj.display = "none"; 
		else
			obj.display = "block";}