bine id hash, for identifying servers });