To modify current text, use INPUT.value
To modify current text, use INPUT.value

Using elt.setAttribute() changes not the current value but the default
value of it. So we should use INPUT.value to modify current text.

See also:

https://developer.mozilla.org/en-US/docs/Web/API/Element/setAttribute

magnumjs/mag.js,magnumjs/mag.js