function washa()
	{
	b = document.links.length;
	for (i=0;i<b;i++)
		{
		document.getElementsByTagName("a")[i].style.color = "#ff0000";
		}
	}

function zima()
	{
	b = document.links.length;
	for(i=0;i<b;i++)
		{
		document.getElementsByTagName("a")[i].style.color = "#0000bb";
		}
	}