function $(v){
    return document.getElementById(v);
}