题目描述

“叉烧鸡翅膀，我呀最爱吃！……”

百度spider组的“黑龙潭之行”在烤着鸡翅，唱着星爷的经典时达到高潮。大家在篝火旁围成一圈，开始玩“数7”加强版游戏，规则如下：

规则1：遇7的倍数或含7的数时pass。

规则2：遇有包含相同数字的数时pass。注意相同数字不必相邻。例如121。

数错的惩罚很残酷——吞食烤全羊。为避免惩罚，百度工程师们需要你——史上最强程序员的帮助。百度工程师想知道：

req1 x：符合规则1的第x个数是什么？

req2 y：符合规则2的第y个数是什么？

req12 z：同时符合规则1、2的第z个数是什么？

query n：数n是规则1中的第几个数，是规则2中的第几个数？

输入格式

输入的每一行为一个查询，由一个查询词和一个无符号整型数组成。共有四种查询，查询词分别为req1、req2、req12、query（区分大小写）。

输出格式

前三种查询输出一个无符号整型的解。对于“query n”的查询，若n是规则中的数则输出相应的解，否则输出-1。

输入样例

req1 10

req2 10

req12 10

query 14

输出样例

11

10

12

-1 13

补充说明

输入数据共分五组，前四组中：1<=x<=10000000,1<=y<1000000,1<=z<250000, 1<=n<24000000.；第五组中的y可能达到5000000