document.write('02132');