... (the HTML snippet)