400,000 dubbelverser ( disticher ).