What is 9 - 13?