Sanity®
<?php echo $lang['shell']; ?>

— Sanity®