--- classes/export/generate1.php.org	2008-05-13 15:56:40.000000000 +0900
+++ classes/export/generate1.php	2008-05-13 16:53:50.000000000 +0900
@@ -201,6 +201,7 @@
 				if( $strings_row['trans'] ) {
 					# json_encode returns the string with quotes fore and aft.  Need to strip them.
 					$tr_string = preg_replace('/^"(.*)"$/', '${1}', json_encode($strings_row['trans']));
+					$tr_string = str_replace('\\\\', '\\', $tr_string);
 					fwrite( $outp, $tr_string );
 					# echo $strings_row['trans'];
 				} else {