Worldwide shipments of servers up by 12 percent