Most frequently mentioned twitter users in tweets containing one of: "#ohm2013" between July 31, 2013, 11:59 a.m. and Aug. 14, 2013, 11:59 a.m.