document.write(' [707/639]');