print out HTML unencoded