13 31 8 s. ; Amsterd.