function $(o) { return document.getElementById(o) }