( 6.13345 | 4 .)