script for dumping html