Whats a lojbanic number for 6?