', "\n"; echo '', "\n"; } else { header("Content-Type: text/html; charset=UTF-8"); echo '', "\n"; } ?><