EDIT: new question at the bottom :S
Hello again, everybody.
I am trying to write a quick-and-dirty program to format some html. I can print to the file and everything, but my problem is that html often has two successive double-forwardslashes, eg //. How can I get these to print to the file rather than being read as comment marks?