abc(72)