function nazev_fce(u)
{
  if    (document.getElementById(u).className=='vid')
        {document.getElementById(u).className='nevid'}
  else  {document.getElementById(u).className='vid'};
}
function testRadio(c,d)
{
c.disabled = !(d.checked)
}