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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/19906cc9e8db97b7174f47afcef9d439f7d9c51d/printdialog.js/clean/xpfe/global/resources/content/unix/printdialog.js