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