var imgs	= [ '1st-hover.gif', '2nd-hover.gif', '2nd-hover-170.gif', '2nd-hover-arrow.gif', '2nd-hover-arrow-170.gif',
	'2nd-normal.gif', '2nd-normal-arrow.gif', '2nd-normal-arrow-170.gif', 'flyout-bottom-edge.gif', 'flyout-hover.gif',
	'flyout-normal.gif', 'flyout-top-edge.gif', 'hi-flyout-bottom-scroll.gif', 'hi-flyout-heading.gif',
	'hi-flyout-heading2.gif', 'hi-flyout-top-scroll.gif' ]

	var path	= "/shared/hi_menu/"
	var p		= new Array ( imgs.length )

	for (var i=0;i<imgs.length;i++)
	{
	p[i]		= document.createElement ( "img" )
	p[i].src	= path + imgs[i]
	document.getElementById("prhi").appendChild ( p[i] )
	}