Use of javascript: void 0; in anchor hrefs