$(function() {
	window.log = function(x) {
	}
});