#include <stdio.h>
int main() {
float f1 = 35e3;
double d1 = 12E4;
printf("%f\n", f1);
printf("%lf", d1);
return 0;
}