// a001 = home
// b001 = company
// c001 = services
// d001 = products
// e001 = industry
// f001 = resources


a001=new Image(57,27)
a001.src="images/nav_1.gif"
a002=new Image(57,27)
a002.src="images/nav_1_over.gif"

b001=new Image(100,27)
b001.src="images/nav_2.gif"
b002=new Image(100,27)
b002.src="images/nav_2_over.gif"

c001=new Image(100,27)
c001.src="images/nav_3.gif"
c002=new Image(100,27)
c002.src="images/nav_3_over.gif"

d001=new Image(100,27)
d001.src="images/nav_4.gif"
d002=new Image(100,27)
d002.src="images/nav_4_over.gif"

e001=new Image(100,27)
e001.src="images/nav_5.gif"
e002=new Image(100,27)
e002.src="images/nav_5_over.gif"

f001=new Image(100,27)
f001.src="images/nav_6.gif"
f002=new Image(100,27)
f002.src="images/nav_6_over.gif"

function filter(imagename,objectsrc){
if (document.images)
document.images[imagename].src=eval(objectsrc+".src")
}