88 88 12 8712 87 1 / 2 87 1 /2