if (document.images) {
var prod0 = new Image(188,33);
prod0.src = "http://www.antigenics.com/images/nav/main/prod0.gif";
var prod1 = new Image(188,33);
prod1.src = "http://www.antigenics.com/images/nav/main/prod1.gif";
var ct0 = new Image(119,33);
ct0.src = "http://www.antigenics.com/images/nav/main/ct0.gif";
var ct1 = new Image(119,33);
ct1.src = "http://www.antigenics.com/images/nav/main/ct1.gif";
var news0 = new Image(108,33);
news0.src = "http://www.antigenics.com/images/nav/main/news0.gif";
var news1 = new Image(108,33);
news1.src = "http://www.antigenics.com/images/nav/main/news1.gif";
var inv0 = new Image(96,33);
inv0.src = "http://www.antigenics.com/images/nav/main/inv0.gif";
var inv1 = new Image(96,33);
inv1.src = "http://www.antigenics.com/images/nav/main/inv1.gif";
var jobs0 = new Image(68,33);
jobs0.src = "http://www.antigenics.com/images/nav/main/jobs0.gif";
var jobs1 = new Image(68,33);
jobs1.src = "http://www.antigenics.com/images/nav/main/jobs1.gif";
var about0 = new Image(141,33);
about0.src = "http://www.antigenics.com/images/nav/main/about0.gif";
var about1 = new Image(141,33);
about1.src = "http://www.antigenics.com/images/nav/main/about1.gif";
}

function act(imgName) {
  if (document.images) 
    document.images[imgName].src = eval(imgName + "1.src");
}

function deact(imgName) {
  if (document.images)
    document.images[imgName].src = eval(imgName + "0.src");
}