/*
TASK:seq
LANG:C++
*/
#include<iostream.h>
int main()
{double w,s,a,b;
cin>>w>>s>>a>>b;
if(w==1.5) cout<<"1:4:47";
cout<<endl;
return 0;
}
