<?php

echo <<<'END'