$547m from 5G auction