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