<!--
function switchto(which) {
	if (which=='useful') {
		document.getElementById('useful').style.display="";
		document.getElementById('funny').style.display="none";
		document.getElementById('stupid').style.display="none";
	} else if (which=='funny') {
		document.getElementById('useful').style.display="none";
		document.getElementById('funny').style.display="";
		document.getElementById('stupid').style.display="none";
	} else if (which=='stupid') {
		document.getElementById('useful').style.display="none";
		document.getElementById('funny').style.display="none";
		document.getElementById('stupid').style.display="";
	}
}
-->