把5进制的1231换算成7进制应该是多少?