Fix a big mistake by ZhangXi and implement ISBN13