document.write(' [6863/1988]');