n ( 6239 .)