// convert all characters to lowercase to simplify testing
 var agt=navigator.userAgent.toLowerCase();
 var is_ie     = ((agt.indexOf("msie") != -1) && (agt.indexOf("opera") == -1));

 if (is_ie) {
   var MENU_POS_0 = new Array();
	// item sizes for different levels of menu
	MENU_POS_0['height'] = [20, 20, 20];
	MENU_POS_0['width'] = [100, 120, 120];
	// menu block offset from the origin:
	//	for root level origin is upper left corner of the page
	//	for other levels origin is upper left corner of parent item
	MENU_POS_0['block_top'] = [100, 20, 0];
	MENU_POS_0['block_left'] = [50, 0, 120];
	// offsets between items of the same level
	MENU_POS_0['top'] = [0, 20, 20];
	MENU_POS_0['left'] = [100, 0, 0];
	// time in milliseconds before menu is hidden after cursor has gone out
	// of any items
	MENU_POS_0['hide_delay'] = [500, 500, 500];
	// path to gif containing one transparent pixel
	MENU_POS_0['pixel_path'] = './graphics/spacer.gif';
    }

 else {
   var MENU_POS_0 = new Array();
	// item sizes for different levels of menu
	MENU_POS_0['height'] = [16, 16, 16];
	MENU_POS_0['width'] = [81, 101, 101];
	// menu block offset from the origin:
	//	for root level origin is upper left corner of the page
	//	for other levels origin is upper left corner of parent item
	MENU_POS_0['block_top'] = [100, 20, 0];
	MENU_POS_0['block_left'] = [50, 0, 120];
	// offsets between items of the same level
	MENU_POS_0['top'] = [0, 20, 20];
	MENU_POS_0['left'] = [120, 0, 0];
	// time in milliseconds before menu is hidden after cursor has gone out
	// of any items
	MENU_POS_0['hide_delay'] = [500, 500, 500];
	// path to gif containing one transparent pixel
	MENU_POS_0['pixel_path'] = './graphics/spacer.gif';
    }