20090731 unknown: Sensex jumps to 13-month high of 15;670