// alert ('Entering JS_Init')

var Prospective_Students, Departments, Research, Services, Alumni, Business, Schools, Students, Contact, Search, Home

function InnerHTML (ID)
	{
		if (document.getElementById (ID)) 
			{if (document.getElementById (ID).innerHTML) { return document.getElementById (ID).innerHTML} else { return ""}} 
		else 
			{return ""}
	}
	
function JS_Init ()
	{
		/* alert ("In JS_Init ()") */
		About = InnerHTML ("DD:About-Us")
		Alumni = InnerHTML ("DD:For-Alumni")
		Prospective_Students = InnerHTML ("DD:Prospective-Students")
		Departments = InnerHTML ("DD:Departments")
		News = InnerHTML ("DD:News-and-Events")
		Research = InnerHTML ("DD:Research")
		Services = InnerHTML ("DD:Services")
		Business = InnerHTML ("DD:For-Business")
		Schools = InnerHTML ("DD:For-Schools")
		Staff = InnerHTML ("DD:For-Staff")
		Students = InnerHTML ("DD:For-Students")
		Contact = InnerHTML ("DD:Contact-Us")
		Search = InnerHTML ("DD:Search")
		Home = InnerHTML ("DD:Home")
	}

// alert ('Leaving JS_Init')