13307 . ) ( 3807 .)