fun readLargeInt () =
    valOf (TextIO.scanStream (LargeInt.scan StringCvt.DEC) TextIO.stdIn)


val () =
    let
        val n = readLargeInt ()
        val ans = 316 + (n - 1) * 52 
    in
        print (LargeInt.toString ans ^ "\n")
    end