function setLanguage(lang)
{
document.cookie="language="+escape(lang);
window.location.reload();
}

function setHotel(index)
{
  document.sendform.hotel=index;
  document.getElementById('hlink').href='hotel.php?id='+index;
}