What version is the server? 1.7.5 or 1.7.2 or what?