document.write('5012')