function hide(x){
document.getElementById(x).style.display='none';}
function show(x){
document.getElementById(x).style.display='';}