function flashit()
{
	
	if (document.getElementById("flashing").style.borderColor=="orange")
	{
		document.getElementById("flashing").style.borderColor="red";
	}
	else
	{
		document.getElementById("flashing").style.borderColor="orange";
	}
}
setInterval("flashit()", 500);