<html> <head> <title>minesweep</title> </head>
<body>
  <center><h1>minesweep</h1></center>
  <hr>
</body>
</html>