function zmien(font)
{
  document.getElementById('lewa').style.fontSize=font+"px";
  document.getElementById('prawa').style.fontSize=font+"px";
}