13 t 4J s. ; Amsterd.