13 H 9j s. ; Amsterd.