document.write('02071');