document.write('600639');