document.write('134002')