Whats a lojbanic number for 76?