document.write("«&nbsp;<a href='/news/view?id=116516'>An AI system for editing music in videos</a>");document.write(" | ");document.write("<a href='/news/view?id=116518'>GlobaLeaks – The Open-Source Whistleblowing Software</a>&nbsp;»");