if (document.images) {
	
	portal_01_over = newImage("images/portal_01-over.jpg");
	portal_02_over = newImage("images/portal_02-over.jpg");
	portal_03_over = newImage("images/portal_03-over.jpg");
	
}

function newImage(arg) {
	if (document.images) {
		rslt = new Image();
		rslt.src = arg;
		return rslt;
	}
}


function over(imgName) {
  if (document.images) 
    document[imgName].src = eval(imgName + '_over.src')
}

function out(imgName) {
  if (document.images)
    document[imgName].src = 'images/' + imgName + '.gif'
}

function out2(imgName) {
  if (document.images)
    document[imgName].src = 'images/' + imgName + '.jpg'
}