What is 4 00 euros in US dollars?