function firebugLog(o) {
	if (typeof(console) != 'undefined') {
		console.log(o);
	}
}