for (i=0;i<document.links.length;i++)
	{
	thisHrefObj = document.links[i];
	thisHref = thisHrefObj.href.split("/");
	thisHref = thisHref[thisHref.length-1];
	if (thisHref.indexOf("#") == 0)
		{
		thisHrefObj.href="javascript:pageJump(this,'"+thisHref+"');";
		}
	}
function pageJump(Obj,objHref) {
	locationHref = location.href.split("#");
	objHref = locationHref[0] + objHref;
	location.href = objHref;
}