o ( 12713 .)