// JavaScript Document
{
alt1 = new Image();
alt1.src = "../../../images/tools/misc/misc90/misc90.view01.jpg";

alt2 = new Image();
alt2.src = "../../../images/tools/misc/misc90/misc90.view02.jpg";

alt3 = new Image();
alt3.src = "../../../images/tools/misc/misc90/misc90.view03.jpg";

}
function imageChange(imageID,imageName) {
	{
	document.images[imageID].src = eval(imageName + ".src");
	}
}