<!--
function flip(f) {         
    current=(document.getElementById(f).style.display == 'block') ? 'none' : 'block';
document.getElementById(f).style.display = current;
}
-->