document. write ("1142 ")