CGI: modify to html output