function cheat() {
	// The element being refered to ("alan") is a hidden text field. Browsers will run this line of code; bots will not. Therefore, if the value of the element named "alan" is not "Sancho Panza", than the client in this case is most likely a bot.
	document.getElementById("alan").value = "Sancho Panza";
}