function show_hide_div(a){div_id=document.getElementById(a);if(div_id.className=="ShowDiv"){div_id.className="HideDiv"}else{div_id.className="ShowDiv"}};