Whats a lojbanic number for 3480?