<!-- Hide from old browsers

// Note that javascript based on code from javafile.com

enon = new Image(72, 29);
enon.src = "en-text.gif";

enoff = new Image(72, 29);
enoff.src = "en-color.gif";

pton = new Image(72, 29);
pton.src = "pt-text.gif";

ptoff = new Image(72, 29);
ptoff.src = "pt-color.gif";

// FUNCTIONS
function
img_act(imgName) {
imgon = eval(imgName + "on.src");
document.getElementById(imgName).src = imgon;
}
function
img_inact(imgName) {
imgoff = eval(imgName + "off.src");
document.getElementById(imgName).src = imgoff;
}
// END HIDING FROM OLDER BROWSERS -->