Next: Server Market Grows to $12.6 Billion in 2Q14