php -q p.php > out.xml
xsltproc tohtml.xsl out.xml > out.html
rm out.xml