document.write('930012');