Input: How many Olympic medals were gained by the person who scored 9.712 in floor exercise at the World Artistic Gymnastics Championships of 2002 ?
Output: 31