20151004 world.middle-east: Russia bombs 10 ISIS targets in new Syria strikes: official