function replaceHash()
{
	if(document.location.href.indexOf("#") != -1 && document.location.href.substring(document.location.href.indexOf("#") + 1).length == 0)
	{
		document.location.hash="#default";
	}
}