7.2-magnitude quake jolts Indonesia, no tsunami alert issued

7.2-magnitude quake jolts Indonesia, no tsunami alert issued