Whats a lojbanic number for 8?