k ( 4139 .)