#include <stdio.h>

int main(void) {
	// your code goes here
	double c;
	scanf("%lf",&c);
	printf("double:%f\n",c);
	return 0;
}