6424 2 .)