function changeCol(cell, col, tex) {
	if (cell) {
		if (col!=null) document.getElementById(cell).style.background = col;
		if (tex!=null) document.getElementById(cell).style.color = tex; }
}