PROGRAM simple VAR x AS INT ; BEGIN x := READINT ; WRITEINT 2 * x ; END