// ... rest of the existing contact.php HTML code ...