function show_(object_) { document.getElementById(object_).style.display='block'; }
function hide_(object_) { document.getElementById(object_).style.display='none'; }