function LastModified() {
	
	var LastModifiedString = "";
	
	var days = new Array(8);
	days[1] = "Sunday";
	days[2] = "Monday";
	days[3] = "Tuesday";
	days[4] = "Wednesday";
	days[5] = "Thursday";
	days[6] = "Friday";
	days[7] = "Saturday";
	var months = new Array(13);
	months[1] = "January";
	months[2] = "February";
	months[3] = "March";
	months[4] = "April";
	months[5] = "May";
	months[6] = "June";
	months[7] = "July";
	months[8] = "August";
	months[9] = "September";
	months[10] = "October";
	months[11] = "November";
	months[12] = "December";
	var dateObj = new Date(document.lastModified)
	var wday = days[dateObj.getDay() + 1]
	var lmonth = months[dateObj.getMonth() + 1]
	var date = dateObj.getDate()
	var fyear = dateObj.getYear()
	if (fyear < 2000) 
	fyear = fyear + 1900
	
	LastModifiedString += " last modified on " + wday + ", " + lmonth + " " + date + ", " + fyear;
	
	return LastModifiedString;
}

function toggleVisibility(id) {
	var e = document.getElementById(id);
	var j = e.getElementsByTagName('DIV')[0];
	var k = e.getElementsByTagName('SPAN')[0];
	if(j.style.display == 'none') {
		j.style.display = 'block';
		k.innerHTML = '<img src="images/minus.gif" alt="click to hide">';
	}
	else {
		j.style.display = 'none';
		k.innerHTML = '<img src="images/plus.gif" alt="click to show">';
	}
}

function hideOnLoad(number) {
	for(var i = 1; i <= number; i = i + 1) {
		var runNumber = "run" + i;
		toggleVisibility(runNumber);
	}
}