kostnaden för hufvudrörledningen till 10- å 12,000 kr.