1888 inches to mm