<!--

function format ()
{
    document.getElementById("text").style.visibility = "hidden";
    document.getElementById("nojava").style.fontSize="0%";
}


-->