#include <stdio.h>

int main(void);

int main(void) 
{
  float x, y;

  x = 10000.0;
  y = x * 0.7;
  printf("値段%.0f円の時", x);
  printf(" %.0f円支払います。\n", y);

  return 0;
}