if (document.images) 	{	normal0 = new Image();	normal0.src = "images/normal0.gif";	normal1 = new Image();	normal1.src = "images/normal1.gif";	normal2 = new Image();	normal2.src = "images/normal2.gif";	normal3 = new Image();	normal3.src = "images/normal3.gif";		over0 = new Image();	over0.src = "images/over0.gif";	over1 = new Image();	over1.src = "images/over1.gif";	over2 = new Image();	over2.src = "images/over2.gif";	over3 = new Image();	over3.src = "images/over3.gif";	}