function complain (message) {
      var pre = dom.createElement('pre')
      pre.setAttribute('style', 'background-color: pink')
      div.appendChild(pre)
      pre.appendChild(dom.createTextNode(message))
    }
function complain (message) {
      var pre = dom.createElement('pre')
      pre.setAttribute('style', 'background-color: pink')
      div.appendChild(pre)
      pre.appendChild(dom.createTextNode(message))
    }
function complain ( message ) { var pre = dom . createElement ( 'pre' ) pre . setAttribute ( 'style' , 'background-color: pink' ) div . appendChild ( pre ) pre . appendChild ( dom . createTextNode ( message ) ) }
////////////////////////////////////////////////////////////////////////////
////////////////////////////////////////////////////////////////////////////