( 5 72 5)