document.write('6012')