4.2 trillion yen