12714x3 ) ( 5965 .)