<!--
function imenu(s){
   s==1?document.getElementById("s1").style.display = 'block':document.getElementById("s1").style.display = 'none';
   s==2?document.getElementById("s2").style.display = 'block':document.getElementById("s2").style.display = 'none';
   s==3?document.getElementById("s3").style.display = 'block':document.getElementById("s3").style.display = 'none';
}
-->