( 13 7 83 .)