document.write('12012')