// JavaScript Document
if (document.images) {       
img1on = new Image();           
img1on.src = "images/button_home_on.gif"; 
img2on = new Image();           
img2on.src = "images/button_goal_on.gif";
img3on = new Image();           
img3on.src = "images/button_about_on.gif"; 
img4on = new Image();           
img4on.src = "images/button_translation-examples_on.gif";
img5on = new Image();           
img5on.src = "images/button_forum_on.gif";
img6on = new Image();           
img6on.src = "images/button_contact_on.gif";

img1off = new Image();           
img1off.src = "images/button_home_off.gif"; 
img2off = new Image();           
img2off.src = "images/button_goal_off.gif";
img3off = new Image();           
img3off.src = "images/button_about_off.gif"; 
img4off = new Image();           
img4off.src = "images/button_translation-examples_off.gif";
img5off = new Image();           
img5off.src = "images/button_forum_off.gif";
img6off = new Image();           
img6off.src = "images/button_contact_off.gif";



function imgOn(imgName) {
        if (document.images) {
            document[imgName].src = eval(imgName + "on.src");        }}
                        
function imgOff(imgName) {
        if (document.images) {
            document[imgName].src = eval(imgName + "off.src");        }}
}