Whats a lojbanic number for 94?