
	  load_specs()

	  $("#exec_btn").click(function (e) {
	      var input_url = $("#p_input").val();
	      if (input_url.startsWith("http")) {
		  $.getJSON(input_url, function(program_str) {
		      run_a_test(program_str);
		  });
	      } else {
		  alert("invalid input url");
	      }
	  })
      });

    </script>



    <div id="canvas-container">

    </div>

    <img src="images/tiny.png" id="img_id"> </img>
    <video loop controls='true' src="videos/small.mp4" type="video/mp4" id="video_id"> </vi