added some pieces for json2html