Whats a lojbanic number for 30?