// Function for plugin 1 (Hostel choice):
function goToHostelPage()
{
  var URL = document.getElementById("tx_bshostels_pi1_select").value;
  if (URL == '') alert("Das ist keine Jugendherberge!");
  if (URL == '/index.php?id=') alert("Die Seite dieser Jugendherberge ist noch nicht fertig!");
  // if (URL != '' && URL != '/index.php?id=') window.open(URL);
  if (URL != '' && URL != '/index.php?id=') document.location.href = URL;
}

// Functions for plugin 7 (Imagemap):
function showInfos(JH)
{
  document.getElementById(JH).style.display = 'block';
}

function hideInfos(JH)
{
  document.getElementById(JH).style.display = 'none';
}