// JavaScript Document

function changeImage(filename)
{
  document.mainimage.src = filename;
}

function popUp(URL) {
day = new Date();
id = day.getTime();
eval("popup" + id + " = window.open(URL, '" + id + "', 'toolbar=0,scrollbars=0,location=0,statusbar=0,menubar=0,resizable=0,width=680,height=500');");
}