// JavaScript Document


window.onload = function () {
  setLink();
}

function setLink() {

	docURL = document.URL;
	
	chunks = docURL.split('/');
	fileName = Array.pop(chunks);
	fileName = fileName.replace(".html", "");
	
	linkID = "m1_" + fileName;
	
	document.getElementById(linkID).className = 'thisPage';

}