补吉临潼人。