( 17 # 15 .)