OK32: History