The consumption tax on a 9517 yen purchase is 80 yen.