function printDate () {

var date=document.getElementById("lastmodified").content;

document.writeln(date);

} // end printDate

function printAuthor () {

var author = document.getElementById("author").content;
var email = document.getElementById("DC.creator").content;

document.writeln("<a href=\"mailto:" + email + "\">" + author + "</a>");


} //end printAuthor

function setMenuDot () {
	
var keys = new Array("news", "explore", "accommodation", "facilities","directions",
		"foundation", "about", "contact", "booking");

var found="";

var reqURI = String(document.location);	

var lastIndex = reqURI.lastIndexOf("/"); // last occurence of "/" in URI

var fileName = reqURI.substr(lastIndex + 1); // extract name of file

if (fileName != "booking.php") {
	
	reqURI = reqURI.substr(0, lastIndex); // delete filename so it isn't compared against keys 
	
} // end if


		
for (bits=0; bits<keys.length; bits++) {

	if (reqURI.indexOf(keys[bits])>0) {
		
		found=keys[bits];
		
	} // end if
		
}// end for
if (found !="") {
var currentDot = String(document.getElementById(found).src);

if (currentDot.indexOf("dot") > 0) {
	
	document.getElementById(found).src = "/images/nav_menu/dotRed.gif";

} else {

	document.getElementById(found).src = "/images/nav_menu/dirRed.gif";

} // end if..else

} // end if (found !="")

} // end setMenuDot