+function format_int($str) {
+ $str = ereg_replace('[^0-9]', '', $str);
+ return ereg_replace('^0*([1-9])', '\1', $str);
+}
+
+function format_zip($str) {
+ return ereg_replace('[^0-9]', '', $str);
+}
+
+function format_filename($str) {
+ $str = strtolower($str);
+ $str = ereg_replace('[^a-z0-9_.-]', '_', $str);
+ return ereg_replace('^[.-]', '_', $str);
+}
+
+function format_varname($str) {
+ $str = strtolower($str);
+ $str = ereg_replace('[^a-z0-9_]', '_', $str);
+ return ereg_replace('^[0-9]*', '', $str);
+}
+