<?php
echo<<<HEADER








HEADER;
?>