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