Grundlöndshypoleker 5 , 727 , 857 : 71.