function $(value) {
    var ctrl = document.getElementById(value);
    if (!ctrl)
        alert(value + ' is not found!');
    return ctrl;
}