<?php
//0<=A,B<=12345
fscanf(STDIN, "%s", $str1);
fscanf(STDIN, "%s", $str2);
print($str1.'::'.$str2."\n");

$min = 0;
$max = 12346; // max値(12345)の+1を記載

// main
if (!checkNum($str1)) { endPg('NG'); };
if (!checkNum($str2)) { endPg('NG'); };
endPg('OK');

function checkNum($val) {
    // 整数・形式チェック
    if ($val !== (string)(int)$val) {
        return false;
    }
    // 有効値チェック
    if ($val > $min && $val < $max) {
        return true;
    }
    return false;
}

function endPg($result) {
    echo $result."\n";
    exit;
}