document.write('02093');