Twiddled with PHP so it outputs to html