private static function escapeString($str) { $str = str_replace('\\', '\\\\', $str); $str = str_replace('"', '\\"', $str); return $str; }