<!--
{
aoff = new Image (186,112); aoff.src = 'images/home-picture-off.gif';
aon = new Image (186,112); aon.src = 'images/home-asteroids-on.gif';
boff = new Image (186,112); boff.src = 'images/home-picture-off.gif';
bon = new Image (186,112); bon.src = 'images/home-lunar-on.gif';
coff = new Image (186,112); coff.src = 'images/home-picture-off.gif';
con = new Image (186,112); con.src = 'images/home-transport-on.gif';
doff = new Image (186,112); doff.src = 'images/home-picture-off.gif';
don = new Image (186,112); don.src = 'images/home-industry-on.gif';
eoff = new Image (186,112); eoff.src = 'images/home-picture-off.gif';
eon = new Image (186,112); eon.src = 'images/home-products-on.gif';
foff = new Image (186,112); foff.src = 'images/home-picture-off.gif';
fon = new Image (186,112); fon.src = 'images/home-colonies-on.gif';
}
function multipic(docname,imgObjName)
{
document.images[docname].src = eval(imgObjName + '.src');
}
-->