function show_player(player_name)
{
	document.getElementById('key_deann').style.display='none';
	document.getElementById('key_deb').style.display='none';
	document.getElementById('key_cheryl').style.display='none';
	document.getElementById('key_mark').style.display='none';		

	document.getElementById('key_'+player_name).style.display='block';
}