Over 12,500 killed on both sides