13425(十进制的数)变成12进制是多少 要具体算法,详细一点的,