try {
    document.observe('dom:loaded', function () {
	var date = new Date;
	var time_end = date.getTime();
	document.body.insert({
	    bottom: '<div style="height:0px; width:0px; overflow:hidden;"><img src="/wip4/log/rendertime/' + (time_end-time_start) + '/" alt="render time used" /></div>'
	});
    });
} catch (e) {};

