document.write('02419');