function change_color(target)
{
	for(i = 0; i < 64; i++)
	{
		document.getElementById("str"+i).style.color = "3EBBBB";
	}
	document.getElementById("str"+target).style.color = "red";
}