A={xlx is a whole number between 7 and 13}