function init() {
	
	// Detect for IE
	var ie = navigator.userAgent.toLowerCase().indexOf('msie') != -1;
	
	// Make external links and PDF links have target blank ----------------------------------------------------------------------
	var links = document.getElementsByTagName('a');
	for (var i = 0; i < links.length; i++)
		if ((links[i].href.indexOf(document.location.hostname) != 7 && links[i].href.slice(0, 4) == 'http') ||
		  links[i].href.slice(-4) == '.pdf')
			links[i].target = '_blank';
	
	// Expand the submenu that contains the current page
	jExpandCurrent();
	
	init2();
}

function init2() {}

// Expand the submenu that contains the current page
function jExpandCurrent() {
	var menu = document.getElementById('menu');
	var links = menu.getElementsByTagName('a');
	for (var i = 0; i < links.length; i++) {
		if (jURLCompare(links[i].href, document.location.href)) {
			var objLI = links[i].parentNode;
			if (objLI.childNodes.length < 3 || objLI.childNodes[2].nodeName.toLowerCase() != 'ul')
				links[i].className += ' sel';
			var objLI = objLI.parentNode.parentNode;
			if (objLI.nodeName.toLowerCase() == 'li')
				jToggle(objLI.childNodes[0]);
		}
	}
}

// Expand or collapse the selected submenu
function jToggle(objA) {
	var objUL = objA.parentNode.childNodes[2];
	var expanding = objUL.style.display == '';
	objUL.style.display = expanding ? 'block' : '';
	objA.className = expanding ? 'col' : 'exp';
}

// Compare two URLs to determine if there are refering to the same page
function jURLCompare(url1, url2) {
	url12 = jURLClean(url1);
	url22 = jURLClean(url2);
	return url12 == url22;
}

function jURLClean(url) {
	url = url.substring(0, (url + '#').indexOf('#'));
	if (matches = url.match(/^(.*\/)index\.s?html?$/i)) {
		url = matches[1];
	}
	return url;
}