// porta3.js
<!-- 
{
alt1 = new Image(); alt1.src = "images/porta3-1g.jpg";
alt2 = new Image(); alt2.src = "images/porta3-2g.jpg";
alt3 = new Image(); alt3.src = "images/porta3-3g.jpg";
alt4 = new Image(); alt4.src = "images/porta3-4g.jpg";
}
function imageChange(imageID,imageName) {
{
document.images[imageID].src = eval(imageName + ".src");
}
}
//-->