PHP to HTML index