document.write('006917');