rem: var objRegExp = /^\d\d*$/; 
add: var objRegExp = /^\d+$/; 
context: function check_and_replace_int( id, val ){    var objRegExp = /^\d\d*$/;    if( value( id ) != ''        && ( !objRegExp.test( value( id ) )             || parseInt( value( id ) ) < 1 ) )        return document.getElementById( id ).value = val;    return document.getElementById( id ).value;}
meta: 2294	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/2294/610ac485f763ba73af5065423814cbd1fa9131b2/functions.js/buggy/share/http/js/functions.js