function showDiv(obj) {
        hideDiv();
        document.getElementById(obj).style.visibility = "visible";
    }

/*function showDiv2(obj) {
        document.getElementById(obj).style.visibility = "visible";
    }*/
    
            
function hideDiv() {
        document.getElementById("hotel").style.visibility = "hidden";
        document.getElementById("toblach").style.visibility = "hidden";
        document.getElementById("visuell").style.visibility = "hidden";        
        }