function move_menu(num)
{
	switch(num)

	{

	  case 1:window.location="lodging.htm" ;break;

	  case 2:window.location="rates.htm" ;break;

	  case 3:window.location="availability.htm" ;break;

	  case 4:window.location="thingstodo.htm" ;break;

	}
}