FRISCO < 123

x