uses crt;
var n,h,m,s,d,i:longint;
        a:array[1..100] of longint;
begin
        readln(n);
        for h:=0 to 23 do
         for m:=0 to 59 do
          for s:=0 to 59 do
          begin
                d:=0;
                a[1]:=h div 10;
                a[2]:=h mod 10;
                a[3]:=m div 10;
                a[4]:=m mod 10;
                a[5]:=s div 10;
                a[6]:=s mod 10;
                for i:=1 to 6 do
                        case a[i] of
                                1:d:=d+2;
                                2,3,5:d:=d+5;
                                4,0:d:=d+4;
                                6,9:d:=d+6;
                                7:d:=d+3;
                                8:d:=d+7;
                        end;
                if d=n then
                begin
                        write(a[1],a[2],':',a[3],a[4],':',a[5],a[6]);
                        exit;
                end;
          end;
          write(-1);
end.