count = 0;
data = new Array(
"./img/factory_imga.gif",
"./img/factory_imgb.gif",
"./img/factory_imgc.gif",
"./img/factory_imgd.gif",
"./img/factory_imge.gif",
"./img/factory_imgf.gif",
"./img/factory_imgz.gif"
);
prImg = new Array();
for (i=0; i<data.length; i++)
{
	prImg[i] = new Image();
	prImg[i].src =data[i];
}
function menu(i, str) {document.images[i].src = str; }