Whats a lojbanic number for 88?