const fs = require("fs");
const n = fs.readFileSync("/dev/stdin").toString();
console.log(n-543);