document.write('600012');