#include <stdio.h>
int main(int argc, char **argv) {

	double d = 25.0;
	printf("25.0 = %10.10f\n",d);
	return 0;
}