<!--
function showhide(elmnt) {
    var x=document.getElementById(elmnt)
    if (x.style.display == "block") { x.style.display = "none" }
    else { x.style.display = "block" }
}
function show(elmnt) {
    var x=document.getElementById(elmnt)
    x.style.display="block"
    }
function hide(elmnt) {
    var x=document.getElementById(elmnt)
    x.style.display="none"
}
function fixlinx() { 
    for (a in document.links) document.links[a].onfocus = document.links[a].blur;
}

if (document.all) { document.onmousedown = fixlinx; }
-->