How many Daudi Riyals is equal to $3 U.S. Dollars?