Orz pandas are very lovely and we send them in QQ to show our respect to someone very diaoable, for example God Wan. Master Nuo loves to create new Orz panda emotion by combining some small Orz panda emotions. For example, by combining four Orz pandas A, Master Nuo can get a new emotion X. And by combining one Orz panda B and some Orz panda A's, he can get a new emotion Y.

Master Nuo has N small Orz panda emotions, with period T₁, T₂, …, T_n. Now he wants to combine exactly K ones of them, in order to create one large Orz panda emotion. To keep the GIF file small, he wants to minimize T, the period of the large Orz panda emotion.

However, if the minimal T is larger than 1000, the emotion will be too large to be sent. So Master Nuo would simply type “Orz” in QQ, instead of sending an emotion.

There are multiple test cases, please process to EOF. For each test case:

The first line contains two integers N and K.
The second line contains N space separated integersT₁, T₂, …, T_n.

For all test cases, 1≤K≤N≤50, 1≤T_i≤1000。

For each test case, output one line. If minimal T is not larger than 1000, output it. Otherwise output “Orz”.

For the first sample, the answer is X.
For the second sample, the answer is Y.
For the third sample, Master Nuo have to choose the first and the second Orz panda.
For the fourth sample, the minimal T is 499000, larger than 1000.