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