13 t 9J s. ; Amsterd.