<!doctype html>
<html lang="en">
  <head>
    <meta charset="utf-8">
    <link rel="stylesheet" href="https://cdn.jsdelivr.net/gh/openlayers/openlayers.github.io@master/en/v6.14.1/css/ol.css" type="text/css">
    <style>
      .map {
        height: 1000px;
        width: 100%;
      }
    </style>
	<meta name="viewport" content="width=device-width, initial-scale=1.0">
    <script src="globals.js"></script>
     <script src="main_ws_manager.js"></script>
    <script src="https://cdn.jsdelivr.net/gh/openlaye