除了年兽，还有一种名为“祟”的妖怪，会吓唬孩子并让他们生病。父母会把包着钱的红包放在孩子的枕头下，这样当“祟”靠近时，红包里的仙灵就会将其驱赶。

大班班正在犹豫要给多少压岁钱。他觉得“圈”很吉利，因为它象征着团圆与和谐。

他想找到一个正整数 n，使得 n 的十进制表示中恰好有 k 个“圈”。

“圈”指的是数字阿拉伯数字书写时被线条包围的平面区域。例如，数字 4,6 有一个圈，8 有两个圈，5 没有圈。具体每个数字的圈数见下图。

输入仅一行，包含一个整数 k（1 \leq k \leq 10^6），表示期望的圈数。

输出一个整数。如果不存在这样的 n，输出 -1；否则输出最小的一个满足条件的正整数 n。

30%的数据：k\leq 10;

60%的数据：k\leq 30;

100%的数据：k\leq 10^6;