Den gamle procentaren nickade småleende,