10713 \ 10 .)