document. write ("
1239
")