13 31 10 s. ; Amsterd.