Oil prices above US$100 Pressure on the Indonesian economy