function trace(what){
	//$('#tracer').css('display', 'block');
	//$('#tracer').append(" "+what);
	console.log(what);
}

//this.document.write("<div id='tracer' style='color:black; background:white; padding:5px; display:none'>trace:</div>")