He did not say how many prisoners had been released , but other officials put the number at 17 .