function $(id) {
	return document.getElementById(id);
}

function showPerformance() {
	$("performance").style.visibility = "visible";
	if ($("sound")) {
		$("sound").play();
	}
}