What is cot(555)?