13 31 8$ s. : Amsterd.