if(document.images)
{
		p1 =  new Image();
		p2 =  new Image();



		p1.src = "userfiles/image/graphics/halling_menu_over_16.gif";
		p2.src = "userfiles/image/graphics/halling_menu_over_18.gif";

		
}