function ch_Color(color)	{
	window.document.all.tx.style.color = color
}