U.S. Service Sector Index Jumps To All-Time High In July : v