+function format_decimal($str) {
+ $str = ereg_replace('[^0-9.]', '', $str);
+ $pos = strpos($str, '.');
+ if($pos !== false) {
+ $str = str_replace('.', '', $str);
+ if($pos == 0) {
+ return '0.' . $str;
+ } elseif($pos == strlen($str)) {
+ return $str;
+ } else {
+ return substr($str, 0, $pos) . '.' . substr($str, $pos);
+ }
+ }
+ return $str;
+}
+
+# return 0 of there's no digits
+function format_int_0($str) {
+ $str = format_int($str);
+ if($str == '') {
+ return '0';
+ }
+ return $str;
+}
+
+function format_zip($str) {
+ $str = ereg_replace('[^0-9]', '', $str);
+ if(strlen($str) > 5) {
+ return substr($str, 0, 5) . '-' . substr($str, 5);
+ }
+ return $str;
+}
+
+function format_filename($str, $allow_uppercase = false) {
+ if(!$allow_uppercase) {
+ $str = strtolower($str);
+ }
+ $str = ereg_replace('[^a-zA-Z0-9_.-]', '_', $str);
+ return ereg_replace('^[.-]', '_', $str);
+}
+
+function client_path_to_filename($path) {
+ $filename = ereg_replace(".*[:/\\]", '', $path);
+ return format_filename($filename, true);
+}
+
+
+function format_h_w_image($str) {
+ $fields = explode(' ', $str);
+ if(count($fields) != 3) {
+ return '';
+ }
+
+ list($width, $height, $filename) = $fields;
+ $width = format_int_0($width);
+ $height = format_int_0($height);
+ $filename = format_filename($filename);
+
+ return "$width $height $filename";