this.clear_input(); 
return false; 
        this.check = function(ev) {            if (this.clicked) {                this.clear_input();            }        };
7266	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7266/237472fcfed2d10a1da4d2e9a7344a906575448c/Editable.js/buggy/root/static/Editable.js