// JavaScript Document

<!--
function imgborder(id,theaction) {
for(i = 0; i < document.images.length; i++) {
if(id==document.images[i].name) {
if(theaction=="on") {
document.images[i].className="imageborder_on";
}
else {
document.images[i].className="imageborder_off";
}
}
}
}
//-->



<!--
function imgborder2(id,theaction) {
if(theaction=="on") {
document.getElementById(id).className="grey_bg";
}
else {
document.getElementById(id).className="dk_grey_bg";
}
}
//-->