document.write('004938');