Whats a lojbanic number for 13302?