4257 mm = 13 feet and 11.6 inches