All signs seem to point to an imminent Verizon iPhone introduction. How much is the early termination fee is for AT&T, again?