13 7 k ) j s. ;Amsterdam