function hide_div(id)
 {document.getElementById(id).style.visibility = 'hidden';}
 function show_div(id)
 {document.getElementById(id).style.visibility = 'visible';}