Whats a lojbanic number for 2371?