function $() {
var elements = new Array();
for (var i = 0; i < arguments.length; i++) {
var element = arguments[i];
if (typeof element == 'string')
element = document.getElementById(element);
if (arguments.length == 1)
return element;
elements.push(element);
}
return elements;
}

function refresh_code_img()
{
      // show new img
         document.getElementById('code_img').innerHTML = '<img width="70px" height="32px" border="0" src="/code/?id='+Math.random()+'" title="нажмите для обновления" />';
}