13 7 8| s. ; Amsterd.