8424 \ 2 .)