if (document.images)	{image1= new Image(); image1.src="images/dot1.gif"image2= new Image(); image2.src="images/dot2.gif"image3= new Image(); image3.src="images/d.gif"image4= new Image(); image4.src="images/d2.gif"}else	{image1=""image2=""image3=""image4=""}