16342 ] ( 4711 .)