Whats a lojbanic number for 3?