{TXT_TITLE_SET1}
{TXT_SYSTEM_STATUS}     
{TXT_IDS_STATUS}     
{TXT_HISTORY_STATUS}     
{TXT_GOOGLESITEMAP_STATUS}     
{TXT_SEARCH_VISIBLE_CONTENT_ONLY}     
{TXT_SYSTEM_DETECT_BROWSER_LANGUAGE}     
{TXT_GLOBAL_TITLE}   
{TXT_DOMAIN_URL}   
{TXT_PAGING_LIMIT}   
{TXT_SEARCH_RESULT}   
{TXT_SESSION_LIVETIME}   
{TXT_DNS_SERVER}