<?php

foreach($a as $val);

echo "Done\n";
?>