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