9 12 13 12 11 <