document.write('02134');