if (document.images){

home_on = new Image();  home_on.src = "images/menu_on/home.gif";
about_on = new Image();  about_on.src = "images/menu_on/about.gif";
services_on = new Image();  services_on.src = "images/menu_on/services.gif";
portfolio_on = new Image();  portfolio_on.src = "images/menu_on/portfolio.gif";
diversity_on = new Image();  diversity_on.src = "images/menu_on/diversity.gif";
contact_on = new Image();  contact_on.src = "images/menu_on/contact.gif";
}


function swap(id,newClass){
 identity=document.getElementById(id);
 identity.className=newClass;
}

function change_portfolio(id,pic){
  identity=document.getElementById(id);

  identity.src= "images/portfolio/"+pic+".jpg";
}