document.write('600093');