// JavaScript Document

10
11function show_div(div_id)
12{
13 if(document.getElementById(div_id) .style.display=='none')
14 document.getElementById(div_id) .style.display = 'block';
15 else
16 document.getElementById(div_id) .style.display = 'none';
17}