/** * Update the page address and title. * @param locationInfo Query string anchor data. * @param pageTitle Page title.**/function setDetails(locationInfo, pageTitle){	// intentionally empty}/** * Split the hash string into separate values (as if it were a normal query string**/function getHashValue(name){	if(!window.hashSplit)		splitHashValues();	return window.hashSplit[name];}function splitHashValues(){	window.hashSplit = {};	if(location.hash)	{		var arr = location.hash.substring(1).split("&");			var i, tmp;		for(i=0;i<arr.length;i++)		{			tmp = arr[i].split("=");			hashSplit[tmp[0]] = tmp[1];		}	}}