( allt % & 2 / 3)