print(2*?read());