//catch calls to firebug-console
if(typeof(console) == "undefined"){
	function DummyConsole(){
		this.log = function(input){
			//do nothing
		}
	}
	console = new DummyConsole();
}




