);
	}

	document.getElementById("score").innerHTML = "<b>" + score.toFixed(0) + "</b>";
	document.getElementById("default_score").innerHTML = "<b>" + default_score.toFixed(0) + "</b>";

	if(score < default_score*0.25)
		document.getElementById("superb_bragging_rights").style.display = "block";
	else if(score < default_score)
		document.getElementById("bragging_rights").style.display = "block";
}

function colorized(text) {
	const separators = ['\n', ' ', '\t', '.', ',', ':', '=', '[', ']', '(', ')'];
	const