// Installiert eine Dummy-Funktion, die verhindert,
// dass Aufrufe der console.log() Funktion des Firebug-Plugins
// bei fehlendem Plugin zur Fehlermeldung fuehrt.
dummyLogFunction = function(dummyParam) {};

if ( window.console == undefined ) {
	window.console = { log: dummyLogFunction };
}
else if ( window.console.log == undefined ) {
	window.console.log = dummyLogFunction;
}