// JavaScript Document



function changepic(id, newpic)

{

document.getElementById(id).setAttribute('src', newpic);

}

var myimages=new Array();

function preloadimages()

{

 for(i=0;i < preloadimages.arguments.length;i++)

{

 myimages[i]=new Image();

 myimages[i].src=preloadimages.arguments[i];

 }

}

preloadimages("nav/mainpage_over.gif", "nav/info_over.gif", "nav/products_over.gif", "nav/partners_over.gif", "nav/research_over.gif", "nav/news_over.gif", "nav/sales_over.gif", "nav/history_over.gif", "nav/contacts_over.gif");