Whats a lojbanic number for 5?