// deterministic hash generator for creating user id#s from usernames, should be replaced by something more functional (guaranteed to be transitively different) | // deterministic hash generator for creating user id#s from usernames, should be replaced by something more functional (guaranteed to be transitively different) |