added OS page replacement from fall 2012