function go_to(url) {
  window.location=url;
}
 
function rand_link_hallg() {
 
  var a;
 
  a = Math.round(Math.random());   // a = random number between 0-1
 
  if (a==0) go_to("http://193.224.223.19/hallgato");
  if (a==1) go_to("http://193.224.223.19/hallgato_1");
  if (a==2) go_to("http://193.224.223.19/hallgato_2");
  if (a==3) go_to("http://193.224.223.19/hallgato_3");
}
 
function rand_link_okt() {
 
  var a;
 
  a = Math.round(Math.random());   // a = random number between 0-1
  if (a==0) go_to("http://193.224.223.19/oktato");
}