function flash_cursor()
{
	var cursor = document.getElementById("cursor");
	
	if(cursor != null)
	{
		if(cursor.style.visibility == "visible")
			cursor.style.visibility = "hidden";
		else
			cursor.style.visibility = "visible";
			
		window.setTimeout("flash_cursor()", 500);
	}
}