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