document.write('02520');