function ShowRestaurantDiv(div_ref) {
        HideRestaurantDivs();
        document.getElementById(div_ref).style.display = "inline";
     
    }
    
    function ShowVenueDiv(div_ref) {
        HideVenueDivs();
        document.getElementById(div_ref).style.display = "inline";
    }
    
    function ShowHotelDiv(div_ref) {
        HideHotelDivs();
        document.getElementById(div_ref).style.display = "inline";
    }
    
     function ShowCinemaDiv(div_ref) {
        HideCinemaDivs();
        document.getElementById(div_ref).style.display = "inline";
    }
    
    function HideVenueDivs() {
        document.getElementById("VenueGeneral").style.display = "none";
        document.getElementById("VenueMap").style.display = "none";
        document.getElementById("VenueFacility").style.display = "none";
        document.getElementById("VenueEvent").style.display = "none";
    }
    
    function HideCinemaDivs() {
        document.getElementById("CinemaGeneral").style.display = "none";
        document.getElementById("CinemaMap").style.display = "none";
        document.getElementById("CinemaFacility").style.display = "none";
        document.getElementById("CinemaFilm").style.display = "none";
    }
    
    function HideRestaurantDivs() {
        document.getElementById("RestaurantGeneral").style.display = "none";
        document.getElementById("RestaurantMap").style.display = "none";
        document.getElementById("RestaurantFacility").style.display = "none";
        document.getElementById("RestaurantMenu").style.display = "none";
        document.getElementById("RestaurantComment").style.display = "none";
        document.getElementById("RestaurantReview").style.display = "none";
    }
    
    function HideHotelDivs() {
        document.getElementById("HotelGeneral").style.display = "none";
        document.getElementById("HotelMap").style.display = "none";
    }
    
    
    function ShowMenu(div_ref){
   
    if (document.getElementById(div_ref).style.display == "none"){
    document.getElementById(div_ref).style.display = "inline";
    }
    else {
    document.getElementById(div_ref).style.display = "none";
    }    
    
    }