<?
header('Content-Type: text/xml');
header('Content-Disposition: inline; filename=backslash.xml');
echo "<?xml version=\"1.0\"?>";
?>

<backslash
xmlns:backslash="http://slashdot.org/backslash.dtd">
<?=$body?>

</backslash>