( 5 42 6)