Whats a lojbanic number for 4?