I wanna 系列是一个非常有趣的小游戏，各种奇巧精妙的机关另同类游戏相形见绌。作为一个I wanna 爱好者，零崎也是非常努力的提升着自己的水平。
现假定I wanna 的第k张地图上有机关数量Tk，零崎想找到一张难度适中比如说机关数第K大的地图是哪张以及这张地图上有多少机关，那么现在，任务就交给你们了！
多组测试数据。 对于每组数据，第一行为两个整数n与k，表示有n张地图，零崎希望找到机关数第k多的。
接下来一行n个整数表示每张地图上的机关数量。(保证机关数量各不相同）
1<=k<=n<=1000000
对于每组数据，输出一行，为地图编号和对应的机关数。
格式为mapi : k。
5 3
1 3 4 2 5
5 1
5 7 6 8 2map2 : 3
map4 : 8