/////////////////////////////////////////////////////////////////////////
// Funktionen zum Checken / Unchecken von Checkboxen und Radio-Buttons //
/////////////////////////////////////////////////////////////////////////

function check_uncheck(form_id,typ)
{
  if((typ=="checkbox")&&(document.getElementById(form_id).disabled==false))
  {
    if(document.getElementById(form_id).checked==false)
      document.getElementById(form_id).checked=true;

    else if(document.getElementById(form_id).checked==true)
      document.getElementById(form_id).checked=false;
  }

  if((typ=="radio")&&(document.getElementById(form_id).disabled==false))
    document.getElementById(form_id).checked=true;
}