$547 million from 5G auction