Surgery for mucin-producing pancreatic tumor.