A tiny python code for finding and replacing strings in a file