猪大肠头有多长