<?php

echo <<<'END'
	 END;

?>