var aMenu = new Array(11);  //array of titles and addresses, use http:// at the beginning of external addresses
aMenu[0] = new Array("News", "news.html");
aMenu[1] = new Array("About Us", "about.html");
aMenu[2] = new Array("PDA Brochure", "pda_brochure.pdf");
aMenu[3] = new Array("Meetings", "meetings.html");
aMenu[4] = new Array("Employment & Benefits Information","employment.html");
aMenu[5] = new Array("Professional Development Resources","../professional_development/");
aMenu[6] = new Array("Advice for International Postdocs","international.html");
aMenu[7] = new Array("Professional Development Workshops","/career/workshops/");
aMenu[8] = new Array("Relocation Assistance","relocation.html");
aMenu[9] = new Array("About the Twin Cities","/prospective_students/local_information/twin_cities.html");
aMenu[10] = new Array("Links to other PDAs","links.html");
var strMenu = '<ul>';
for (i = 0; i <= 10; i++) {
	var strLocation = window.location.pathname
	if (strLocation.indexOf(aMenu[i][1]) == -1) {  //if this is not a link to the current document, then
		if (aMenu[i][1].indexOf("http:") == -1) {  //if the site is not external then
			strMenu += '<li><a href="' + aMenu[i][1] + '" class="nav">' + aMenu[i][0] + '</a></li>';  //add a link to the list
		} else {  //if the site is external, then add a link with the ex.gif image
			strMenu += '<li><a href="' + aMenu[i][1] + '" class="nav">' + aMenu[i][0] + ' <img src="/images/ex.gif" alt="External Link" width="12" height="12" border="0"></a></li>';
		}
	} else {  //write just the title in bold
		strMenu += '<li><b>' + aMenu[i][0] + '</b></li>';
	}
}
strMenu += '<ul>';
document.write(strMenu);