if (ereg ('MSIE', $HTTP_USER_AGENT) || ereg ('Opera', $HTTP_USER_AGENT) || ereg ('Mozilla', $HTTP_USER_AGENT)) {header ("Location: ident.php?page=$SCRIPT_FILENAME");} ?>