y ( 12 , 725 .)