<!-- Hide

function showFull() {
       hideAll();
       show("Full");
    }

    function showShort() {
       hideAll();
       show("Short");
    }

    function show(theId) {
        hideAll();
        document.getElementById(theId).style.display = "";
    }

    function hideAll() {
        document.getElementById('Full').style.display   = "none";
        document.getElementById('Short').style.display   = "none";
    }


//-->