function Zrataj()
{
  var num1 = parseInt(document.getElementById('num1').value);
  var num2 = parseInt(document.getElementById('num2').value);
  var vysledok = document.getElementById('result');
  vysledok.value = num1 + num2;
}
function submit_form(form)
{
	document.getElementById(form).submit();
}