function flashit()
{
	return;
	
	/*if (!document.all)return;*/
	
	if ( document.getElementById("myexample").style.color=="darkgreen" )
	{document.getElementById("myexample").style.color="white";}
	else document.getElementById("myexample").style.color="darkgreen";
}
//setInterval("flashit()", 500);