function show(s) {
 if (s_old) {
  s_old.style.visibility="hidden";
 }
 s.style.visibility="visible";
 s_old=s;
}