if (window.location.href.indexOf("#") == -1)
{	var lang = window.location.pathname.substring(1,3)
	var doc = window.location.pathname.substring(4,999)
	window.location = "http://" + window.location.host + "/" + lang + "/#" + doc;
}