// various utilities

function flipFlop(eTarget) {
    if (document.getElementById(eTarget).style.display=='') {
     document.getElementById(eTarget).style.display='none';
    }
    else {
     document.getElementById(eTarget).style.display='';
    }
}

function ShowElement(eTarget)
{
    document.getElementById(eTarget).style.display='';
}

function HideElement(eTarget)
{
     document.getElementById(eTarget).style.display='none';
}

