document.write('02125');