document.write('02547');