130 , 129 } a j ; Amsterd.