document.write('930142');