When laura arrived at the library, she spent 40 min readind a book. Then she spent 15 min reading a magazine. She left the library at 4:15 pm. At what time did laura arrive at the library?