( ( 1.25514 ).