echo "<a href='#' class='toc'>".$locale['ROT3']." 4</a> ";