12714x3 ) ( 5217 .)