output from htmlpage.py