12714X3 ) ( 6217 .)