document.write("«&nbsp;<a href='/news/view?id=148967'>DNS Flag Day on February 1, 2019: check your domains</a>");document.write(" | ");document.write("<a href='/news/view?id=148969'>Dbeaver – Multi-platform database tool</a>&nbsp;»");