// JavaScript Document
var path = window.location.pathname;
if (path.lastIndexOf("/") ==  path.length -1){
	path = path.substring(0,path.length -1);
}
path = path.replace("/news","/");
path = path.replace("_","/");
path = path.replace(".html","");
path = path.replace("/index","");
path = "/#" + path;
//alert(path);
window.location.href=path;