coquille in html file