image1 = new Image();
image1.src = "header03h.gif";
image2 = new Image();
image2.src = "header04h.gif";
image3 = new Image();
image3.src = "header05h.gif";
image4 = new Image();
image4.src = "header06h.gif";
image5 = new Image();
image5.src = "header07h.gif";

function roll(img_name, img_src)
	{
	document[img_name].src = img_src;
	}