if($body== "") { $body="body.html"; } ?>