0) { echo "\n"; if ($naviheadl['chglang'][LANG]!="") echo "\n"; while ($lang_row = db_fetch_row($lang_res)) { echo "\n"; } echo "
".$naviheadl['chglang'][LANG]."
 "; echo ""; echo "$lang_row[2] $lang_row[2]\n"; echo "
\n"; } } ?>