Finally, a terrible way to echo things in PHP.