6 ( 15888 .)