document.write('02253');