xxdocument.write('712');