"The East China Sea is a marginal sea east of China. It is a part of the Pacific Ocean and covers an area of roughly 1,249,000 square kilometres (482,000 sq mi)."@en . . . . .