function change_banner(id)
{
document.getElementById('banner_img').src = "./gfx/banner"+id+".jpg";
}
function print_frag(id)
{
var div;
div = document.getElementById(id);
okno = window.open('', '', "toolbar=0, location=0, resizable=1, directories=0, status=1, menubar=1, scrollbars=1, height=800, width=700, top=80, left=350'");
var html = div.innerHTML;
html = ''+html+'
';
okno.document.write(html);
okno.focus();
//okno.print();
}