var d = document;

if (d.images) {
	var zoom    = new Image(195,82); zoom.src    = 'images/logonav.gif';
	var zoomhot = new Image(195,82); zoomhot.src = 'images/logonavhot.gif';
}

function on(imgName) { if (d.images) { d[imgName].src = eval(imgName + 'hot.src'); }}

function off(imgName) { if (d.images) { d[imgName].src = eval(imgName + '.src'); }}