fun Ġbox (): ĠString Ġ{ ĊĠĠĠ Ġfun Ġrec ( n Ġ: ĠInt ) Ġ{ ĊĠĠĠĠĠĠĠ Ġfun Ġx ( m Ġ: ĠInt ) Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġif Ġ( n Ġ> Ġ 0 ) Ġrec ( n Ġ- Ġ 1 ) ĊĠĠĠĠĠĠĠ Ġ} ĊĊĠĠĠĠĠĠĠ Ġx ( 0 ) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġrec ( 5 ) ĊĠĠĠĠĊĠĠĠ Ġreturn Ġ" OK " Ċ } Ċ