\ ( 4317 .)