#18 7000 <DatamijnInt>

7000