<?php

echo <<<END