外川港孝進丸. 天の元后 喜びたまえ. What is principal value in complex number. DD16 vs X15.