( 2 5 6 7)