[Tutor] How to get rid of a " in a string?

[Robin B. Lake]

I've resolved the previous posting, but some of the numbers are
4 digit instead of 5 digit.  I have a string with 1234"  and tried
string.replace(mystring, '\"','') but that does not work.

On a Mac, Python 1.6.1 (I guess).

Thanks,
Rob Lake
rbl@hal.cwru.edu