12718 , 3 .)