getters, and userID converter to 32 bit.