function toggle3( on, off )
{
  document.getElementById( off ).className = 'hidden';
  document.getElementById( on ).className = 'visible';
}