R80T12 .