document.write('002504');