unevalf = function(x) { return '(' + x.toString() + ')'; } 
unevalf = function(x) { return '(' + x.toString() + ')'; }; 
unevalf = function(x) { return '(' + x.toString() + ')'; }
1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1725/70b070476ab1a00a2ceba0e2863836d7da792a10/toString-number-dot-expr.js/buggy/LayoutTests/fast/js/resources/toString-number-dot-expr.js