They can use other strong currencies than the dollar if need be. They also can turn any currency into dollars if they want. Best guess they use the Euro which was created in 1999. That's my proposed 3rd option. ;)