add: return; 
context: function xformsLogTime(text) {    var oldTime = document.xformsTime;    var currentTime = new Date().getTime();    document.xformsTime = currentTime;    xformsLog((currentTime - oldTime) + ": " + text);}
meta: 5390	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5390/dea29d1b0c87eb9c811cc8a47cb1956cab705f89/xforms.js/clean/src/examples/web/ops/javascript/xforms.js