OK11: History