12 + 16 + 17 + 15 = ?