( 4 2 5 7)