// // Datestrings und locale Einstellungen:
define("_CHARSET", "windows-1256");
if (PHP_OS == "WINNT" || PHP_OS == "WIN32") {
define("_SETLOCALE", "ar");
} else {
define("_SETLOCALE", "ar_DZ.windows-1256");
}
echo "<html dir=rtl>";
define("_DOC_LANGUAGE", "ar");