function $(id) {return document.getElementById(id)}
document.getElementById('foobar').innerHTML = '<hr>';
$('foobar').innerHTML = '<hr>';