document.write('02193');