function f_over(which){
  document.getElementById(which).src='/img/ui/'+which+'_h.gif';
  return;
}
function f_out(which){
  document.getElementById(which).src='/img/ui/'+which+'_n.gif';
  return;
}
function f_click(which){
}