document.write('842012');