document.write('02095');