document.write('006257');