function $(e){return document.getElementById(e);}
window.onload = function(){var l = $('top').getElementsByTagName('div');for(i=0;i<l.length;i++) l[i].style.display='none';}
function sh_sub(e){var l = e.getElementsByTagName('div')[0];if(l!=undefined) l.style.display=l.style.display=='none' ? 'block' : 'none';}