Lisa: "What time do you get up in the morning?" Mark: "I get up at a quarter past seven." According to the dialogue, when does Mark get up?