15 - 12 ( 12 ) Prev <= 11 12