4196 ] ( 8420 .)