The consumption tax on a 6257 yen purchase is 9 yen.