Converted from php to html