//////////////////////////////////////////////////////////////////////////////////////////
// Zorg ervoor dat getElementById ook op browsers die deze function niet ondersteunen   //
// aangeroepen kan worden                                                               //
//////////////////////////////////////////////////////////////////////////////////////////
if( !document.getElementById ){
  if ( document.all ){
    document.getElementById = function(id){return document.all[id];};
  }
  else
  if ( document.layers ) {
    document.getElementById = function(id){return document.layers[id];};
  }
  else {
    document.getElementById = function(id){return null;};
  }
}