I want to convert a Javascript DOM HTMLDcument to a string that I can write to a file. But how do you d