Whats a lojbanic number for 9041?