rem: inx = str.indexOf("."); 
add: var inx = str.indexOf("."); 
context: function getDoubleStr( val, dec ){  var str = val.toString();  inx = str.indexOf(".");  return str.substring(0, inx+dec+1);}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/19cbf2a87edf456bfeda3e2c3e2a9d0d8401498a/printdialog.js/clean/xpfe/global/resources/content/unix/printdialog.js