19.95 billion dirhams