// JavaScript Document

<!--
function mravenci(){
var body=document.getElementId('body');
var a=body.getElementsByTagName('a');
for(var i=0;i<a.length;i++){
a[i].onfocus=function(){if(this.focus)this.blur();}}}
window.onload=mravenci();
//-->