$body"; if ($pict_block) { $pict_block = "

$pict_block

"; } echo << $pict_block$body HTML;