// JavaScript Document
button1off = new Image; button1off.src ='images/placeholder_over.gif';
button2off = new Image; button2off.src = 'images/placeholder_over.gif';
button3off = new Image; button3off.src = 'images/placeholder_over.gif';
button4off = new Image; button4off.src = 'images/placeholder_over.gif';
button1on = new Image; button1on.src = 'images/mail_over.gif';
button2on = new Image; button2on.src = 'images/info_over.gif';
button3on = new Image; button3on.src = 'images/globe_over.gif';
button4on = new Image; button4on.src = 'images/phone_over.gif';

function replaceImage(imageName,newImage){document[imageName].src=eval(newImage + '.src');}