function menu_link(num)
{
	switch(num)

	{

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

	  case 11:window.location="product1.htm" ;break;

	  case 12:window.location="product2.htm" ;break;

	  case 13:window.location="#" ;break;

	  case 14:window.location="#" ;break;


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

	  case 21:window.location="#" ;break;

	  case 22:window.location="#" ;break;

	  case 23:window.location="#" ;break;

	  case 24:window.location="#" ;break;


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

	  case 31:window.location="#" ;break;

	  case 32:window.location="#" ;break;

	  case 33:window.location="#" ;break;

	  case 34:window.location="#" ;break;


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

	  case 41:window.location="#" ;break;

	  case 42:window.location="#" ;break;

	  case 43:window.location="#" ;break;

	  case 44:window.location="#" ;break;

	}
}