<!--
var TOC_top = "Obsah ^";
//-->