document.write('130012')