ah...
scusa..., bo? non ho ben capito!
cioè dovrei fare una cosa tipo:
<?
$filexml= echo file_get_contents('decorations.xml;
...
?>

e poi in
<html>
<body>
<? echo $filexml; ?>

[..]
</body>
</html>