NGC 7129 and NGC 7142