<html><body><pre><?php $s = '<html><body><pre><?php $s = %c%s%c; printf($s, 39, htmlspecialchars($s), 39); ?></pre></body></html>'; printf($s, 39, htmlspecialchars($s), 39); ?></pre></body></html>