// Looks at path to document and determines which section this

// page falls in based on the directory in which it resides. Then

// updates the primary title navigation using the first parameter.



if (self != top){

	thisHREF = document.location.href;

	thisHREF = thisHREF.substring(top.baseURL.length,thisHREF.length);

	thisHREF = thisHREF.replace(/html\//,"");

	thisHREF = thisHREF.replace(/\//g,":");

	parameters = new top.parseString(thisHREF,':')

	top.updateTitleNav(parameters[0])

}