<!DOCTYPE html>
<body>
  This is an HTML5 document with a DTD.
</body>