Itu adalah bendera $ 9 miliar.