}/g, function(match, number) {
			return typeof args[number] != 'undefined'
			? args[number]
			: match
			;
		});
	};
}

var rowFmt = "<tr><td>{0}</td><td>{1}</td><td>{2}</td><td>{3}</td><td>{4}</td><td>{5}</td><td>{6}</td></tr>"

var evtSource = new EventSource("/eventsource");
evtSource.addEventListener("ping", function(e) {
	var data = JSON.parse(e.data);
	$("tbody").prepend(rowFmt.format(
		data.Workers,
		data.Corpus,
		data.Crashers,
		"1/" + data.RestartsDenom,
		data.Execs,
		data.Cover,
		data.Up