5/5 < 12345