// JavaScript Document
function initLinks()
{
	var
		url,
		col,
		elm,
		i=0;
	url = self.location.href;
	col=document.getElementById("page_links").getElementsByTagName("a");
	while(elm=col.item(i++)) {
		if (elm.href && url.search(elm.href) != -1)
			elm.style.fontWeight = "bold";		
	}
}

function globalOnLoad() {
	try {
		P7_initPM(1,3,0,-20,10);
	}
	catch (e) {}

	try {
		initLinks();
	}
	catch (e) {}
}