, ningsnnmrornc 80 , 1035 och 1380,