/* hafas_all.js */
/* built: 05.10.2004 */

function e() {/* cool -> replaces 'document.getElementById' by 'e' */
   var element = arguments[0];
   element = document.getElementById(element);
   return element;
   }