function GetFileName(file_url){
    file_url = file_url.substring(file_url.lastIndexOf("/")+1,file_url.length);
	file_url = file_url.substring(0,file_url.indexOf("."));
    return file_url;
}

window.onload = function(){
	var id = GetFileName(location.pathname);

	if (id == "") {
	    id = "index";
	}
	if (document.getElementById(id).className == "ibodyoff") {
		document.getElementById(id).className = "ibodyon";
	} else if (document.getElementById(id).className == "imembodyoff") {
		document.getElementById(id).className = "imembodyon";
	}
}