function menu_link(num)
{
	switch(num)

	{

	  case 1:window.location="index.html" ;break;

	  case 2:window.location="officepolicy.html" ;break;

	  case 3:window.location="resources.html" ;break;

	  case 4:window.location="calender.html" ;break;
	  case 5:window.location="staff.html" ;break;
	  case 6:window.location="directions.html" ;break;
	  	

	}
}