rem: var value = element.value; if (value && value.length > 0) { value = value.replace(/[^\.|^0-9]/g,""); if (!value) value = ""; element.value = value; } 
add: element.value = element.value.replace(/[^.0-9]/g, ""); 
context: function checkDouble(element){  var value = element.value;  if (value && value.length > 0) {    value = value.replace(/[^\.|^0-9]/g,"");    if (!value) value = "";    element.value = value;  }}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/6dc3ce6e006549daebebac9e8687940eb979054d/printPageSetup.js/buggy/toolkit/components/printing/content/printPageSetup.js