//Timestamp of the ISDA web pages

	var months = new Array("January","February","March","April","May","June","July","August","September","October","November","December");    
	var timeStamp = new Date(Date.parse(document.lastModified));	// Assign date variables with document.lastModified 
  
	// If we have a valid date reformat it.
	if (timeStamp != 0 && timeStamp != "Invalid Date") {
		var date = timeStamp.getDate();
		var month = months[timeStamp.getMonth()];
    
	// Get the year and if it is less than 1000 add 1900 to it.
		var year = timeStamp.getYear();
		if (year < 1000) year = year + 1900;
    
			document.write("Last updated: " + month + " " + date + ", " + year+ ".");
	}
	else document.write("Last updated: Not available, sorry.");