#include <stdio.h>

int main(){
	char	buf[256][16];
	float	v1,v2,v3,v4,v5,v6,v7,v8;
	
	while(fscanf(stdin, "%[^ ] %[^ ] %f %f %f %f %f %f %f %f\n",
		buf[0], buf[1], &v1, &v2, &v3, &v4, &v5, &v6, &v7, &v8) == 10){
		
		printf("%s %s %f %f %f %f %f %f %f %f\n", buf[0], buf[1],
			v1, v2, v3 * 3.35, v4, v5, v6, v7, v8);
	}
	return 0;
}