javascript: dom-set-attribute