function get_element (id)
 {if (document.getElementById)    // Browser kennt das DOM2-Modell
   {return document.getElementById (id)}
  else if (document.all)          // Browser kennt das All-Modell
   {return document.all[id]}}