( 5 33 7)