}
}
- return $str;
+ return '';
}
function format_int($str) {
return ereg_replace('^0*([0-9])', '\1', $str);
}
+# format the digits after the decimal point
function format_decimals($str) {
$str = ereg_replace('[^0-9]', '', $str);
if(strlen($str)) {
return $str;
}
+# USA zip codes
function format_zip($str) {
$str = ereg_replace('[^0-9]', '', $str);
if(strlen($str) > 5) {