function DB_plainquer($quer, &$errno, $debug = 5)
{
    global $DB_link, $DB_errs, $DB_lastquer;
    $DB_lastquer = $quer;
    DB_debug($quer, $debug);
    $result = mysql_query($quer, $DB_link);
    if (!$result) {
        $errno = mysql_errno($DB_link);
        return false;
    } else {
        if (($p = stripos($quer, 'INSERT')) !== false && (($q = stripos($quer, 'UPDATE')) == false || $p < $q) && (($q = stripos($quer, 'DELETE')) == false || $p < $q)) {
            return mysql_insert_id();
        } else {
            return mysql_affected_rows();
        }
    }
}
function checkRule64()
{
    // No violations should occur in (received~;received |- I)
    //            rule':: received~;received/\-I
    // sqlExprSrc fSpec rule':: received
    $v = DB_doquer('SELECT DISTINCT isect0.`received`, isect0.`received1`
                     FROM 
                        ( SELECT DISTINCT F0.`received`, F1.`received` AS `received1`
                            FROM `document` AS F0, `document` AS F1
                           WHERE F0.`i`=F1.`i`
                        ) AS isect0
                    WHERE isect0.`received` <> isect0.`received1` AND isect0.`received` IS NOT NULL AND isect0.`received1` IS NOT NULL');
    if (count($v)) {
        DB_debug('Overtreding (TimeStamp ' . $v[0][0] . ',TimeStamp ' . $v[0][1] . ')
reden: \\"Artificial explanation: received~;received |- I\\"<BR>', 3);
        return false;
    }
    return true;
}