<?php
echo "";
echo "";
echo strlen("foobar\n");
echo "DONE\n";
?>