function header()
	{
	var title = "Hypermedia Production :: PBDS.664.085"
	var thisClass = "Saturday 9:30 am - 12 pm"

	document.write("<h1>" + "&nbsp;" + title + " :: " +   thisClass + "</h1>");
	}