some python scripts for mine。