document.write('6012');