document.write('003917');