document.write('02031');