题目背景

一个小女孩数数一直都是1257，1257地数，老师问她为什么，她回答：“是妈妈教我的”。老师在进行了一场家访后觉得小女孩数的没问题

问题描述

请还原

输入

无

输出

输出答案，即还原后的答案