17807X3 . ) ( 5216 .)