<?php print $txt['txt