Whats a lojbanic number for 47?