<?php
$birthyear = trim(fgets(STDIN));
$year = 2017;
echo $age = $year - $birthyear;