function find_undefined_link () {
  a_list = document.getElementsByTagName('a');

  for (i = 0 ; i < a_list.length ; i++)
    if (a_list[i].getAttribute('href') == '#') 
      a_list[i].style.outline = '1px dotted red';
}