/* Constants */
var rootDirectory = "";


function initDHTMLMenus()
          {
          PINT_MenuInit( "b2", "b2a", "productsmenu" );
          PINT_MenuInit( "b4", "b4a", "contactmenu" );		  
		  }