function Counter() {  document.write('9717');}