add: else { dump("TEST didn't SUCCEEDED\n") } 
context: function forceInteger(elementID){  var editField = document.getElementById( elementID );  if ( !editField )    return;  var stringIn = editField.value;  var pat = /\D+/g;  if (pat.test(stringIn)) {    editField.value = stringIn.replace(pat,"");    // we hope to remove the following line for blur() once xp widgets land    // cmanske (9/15) testing this now that GFX ender widget is active    //editField.blur();    sysBeep.Beep();  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/e3e6a3dee96adb1ace28aa37d50c738a288a840d/EdDialogCommon.js/buggy/editor/ui/dialogs/content/EdDialogCommon.js