document.write("«&nbsp;<a href='/news/view?id=118312'>Microsoft is updating Windows Notepad</a>");document.write(" | ");document.write("<a href='/news/view?id=118314'>Modern codecs like AV1 can bring better quality video to the open web</a>&nbsp;»");