12734 ’ 127^ a 127 ; Amsterd.