console.log("42");