Converting from php to html