var histStr,normalStr,currentMod;
function loadHistory(){
if(!currentMod)currentMod = "navi";
if(!histStr) histStr = document.getElementById( "historyToggle" ).innerHTML;
if(!normalStr) normalStr = document.getElementById( "hiddenNormal" ).innerHTML;
if( currentMod == "navi" ) {document.getElementById( "map" ).loadModule("history");currentMod="hist";
document.getElementById( "historyToggle" ).innerHTML=normalStr;
}else{ document.getElementById( "map" ).loadModule("navi");currentMod="navi"; 
document.getElementById( "historyToggle" ).innerHTML=histStr;
}
};