Event.observe(window, "load", jsLaunch);



// set up navigation
function jsLaunch(){
  var page, url = window.location.toString();
  if(url.indexOf('the_area')!=-1 || url.indexOf('argentiere')!=-1 || url.indexOf('map')!=-1 | url.indexOf('ski_pass')!=-1){
	page = 'the_area';
  } else if(url.indexOf('holiday')!=-1 || url.indexOf('food')!=-1 || url.indexOf('hosts')!=-1 || url.indexOf('ski_courses')!=-1){
	page = 'holiday';
  }
  if($(page)) $(page).show();
}