( 1 7 23)