#include <stdio.h>

float bargain(float x);
int main(void);

int main(void) 
{
  float x, y;

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

  return 0;
}

float bargain(float price)
{
  return price * 0.7;
}