function highlight() {
	var fullPathNameArray = new Array();
	fullPathNameArray = location.pathname.split(/[\/,\\]/);
	currentPage = fullPathNameArray[fullPathNameArray.length -1];
	if (currentPage=="") {currentPage="index.php"};
	document.getElementById(currentPage).style.color='rgb(255,40,45)';
	document.getElementById(currentPage).style.fontWeight='bold';
}