// function for content button -> back to top
function setPageToTop(){
	window.scrollTo(0,0);
} 
// function for multimedia content -> make links in videos relative from page (not from base parameter)
function goToPage(pageName){
 // get everything from href exept filename
 var currentURL = location.href;
 var lastSlashPosition = currentURL.lastIndexOf("/");
 var currentPath = currentURL.substring(0,lastSlashPosition+1);
 // set new target
 // ie hack
 if (pageName.lastIndexOf("#")!= -1) {
 		//alert("hash");
 		location.href=currentPath+pageName;
		history.go(0);
		} else {
 		//alert("noHash");
 		location.href=currentPath+pageName;
} 
}

// function for page reload incl. prefix
function reloadMap() {
  window.location.href=window.location.href + '&mm_lib=1';
}