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