document.write('02171');