4.7-Magnitude Earthquake Jolts Western Indonesia