document.write('02130');