document.write('134012')