翻译 他做了个好梦。