function show_alt(elementid){ document.getElementById(elementid).style.display=''; }
function hide_alt(elementid){ document.getElementById(elementid).style.display='none'; }