time
	));

	$("#workers").text(data.Workers)
	$("#corpus").text(data.Corpus)
	$("#crashers").text(data.Crashers)
	$("#restarts").text("1/" + data.RestartsDenom)
	$("#execs").text(data.Execs)
	$("#cover").text(data.Cover)
	$("#uptime").text(data.Uptime)
});

</script>
</body>
</html>
