'; var_dump($things); echo ''; ?>