13 3 7 s. ; Amsterd.