pr ton ) , Amsterdam 18 gulden infull