var icons = new Array(6);
icons[0] = new Image(); icons[0].src = "/tabs/welcome";
icons[1] = new Image(); icons[1].src = "/tabs/resume"
icons[2] = new Image(); icons[2].src = "/tabs/gallery"
icons[3] = new Image(); icons[3].src = "/tabs/exhibition"
icons[4] = new Image(); icons[4].src = "/tabs/tac"
icons[5] = new Image(); icons[5].src = "/tabs/contact"
function hilight(name, id)  { 
  document.images[name].src = icons[id].src + "_highlight.gif"; 
} 
function deselect(name, id) { 
  document.images[name].src = icons[id].src + "_back.gif"; 
}