////////////////////////////////////////////

function replaceButtonText(buttonId, text)
{
	if (document.getElementById)
	{
		var button=document.getElementById(buttonId);
		if (button)
		{
			if (button.childNodes[0])
			{
				button.childNodes[0].nodeValue=text;
			}
			else if (button.value)
			{		
				button.value=text;
			}
			else //if (button.innerHTML)
			{
				button.innerHTML=text;
			}		
		}
	}
}

////////////////////////////////////////////

function showGaleriePic(pic) {
	
    var bild = document.getElementById("bild");
    
    if(bild.src != "images/galerie/restaurant_"+pic+".jpg") {
        
        bild.style.visibility = "hidden";
        
        bild.src = "images/galerie/restaurant_"+pic+".jpg";
        
        bild.style.visibility = "visible";
        
	}
}

////////////////////////////////////////////