/* Please excuse me for this oh great JavaScript Gods */

function shownav() {
  var navigation;
	navigation = document.getElementById('hoteldropdown_menu');
	navigation.style.display = 'block';
  var swap_step1;
	swap_step1 = document.getElementById('shownav');
	swap_step1.style.display = 'none';
  var swap_step2;
	swap_step2 = document.getElementById('hidenav');
	swap_step2.style.display = 'block';
}
function hidenav() {
  var navigation;
	navigation = document.getElementById('hoteldropdown_menu');
	navigation.style.display = 'none';

  var swap_step3;
	swap_step3 = document.getElementById('hidenav');
	swap_step3.style.display = 'none';
  var swap_step4;
	swap_step4 = document.getElementById('shownav');
	swap_step4.style.display = 'block';
}