#include <bits/stdc++.h>
using namespace std;
int gio,phut,giay;
void init(){
cin>>gio;
cin>>phut;
cin>>giay;
}
void solve(){
if((gio<=24&&gio>=0)||(phut<=59&&phut>=0)&&(giay<=59&&giay>=0)){
cout<<"YES"<<endl;
giay++;
if(giay==60){
giay=0;
phut++;
}
if(phut==60){
phut=0;
gio++;
}
if(gio==24){
gio=0;
}
cout<<gio<<":"<<phut<<":"<<giay;
}
else cout<<"NO"<<endl;
}
int main(){
init();
solve();
return 0;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CgoKaW50IGdpbyxwaHV0LGdpYXk7Cgp2b2lkIGluaXQoKXsKY2luPj5naW87CmNpbj4+cGh1dDsKY2luPj5naWF5OwoKCgoKfQp2b2lkIHNvbHZlKCl7CiAgIGlmKChnaW88PTI0JiZnaW8+PTApfHwocGh1dDw9NTkmJnBodXQ+PTApJiYoZ2lheTw9NTkmJmdpYXk+PTApKXsKICAgIGNvdXQ8PCJZRVMiPDxlbmRsOwogICAgZ2lheSsrOwogICAgaWYoZ2lheT09NjApewogICAgZ2lheT0wOwogICAgcGh1dCsrOwogICB9CiAgIGlmKHBodXQ9PTYwKXsKICAgIHBodXQ9MDsKICAgIGdpbysrOwogICB9CiAgIGlmKGdpbz09MjQpewogICAgZ2lvPTA7CiAgIH0KCgogICBjb3V0PDxnaW88PCI6Ijw8cGh1dDw8IjoiPDxnaWF5OwogICB9CiAgIGVsc2UgY291dDw8Ik5PIjw8ZW5kbDsKCn0KCmludCBtYWluKCl7CmluaXQoKTsKc29sdmUoKTsKcmV0dXJuIDA7CgoKfQo=