introduction of libhtmloutput