function setFragment(lat,lon,zoom,mix) {
    var fragment = "lat="+lat+"&lon="+lon+"&zoom="+zoom+"&mix="+mix;
	location.hash = fragment;
}
function getLocationHref() {
	return location.href;
}