The consumption tax on a 6417 yen purchase is 25 yen.