function checkID(ID)
{if    (ID.length < 4)
       {return false
       }
 else  {ID=ID.toUpperCase();
        var hash = 0, j;
        for (j=0; j<4; j++)
            hash += ID.charCodeAt(j);
        var tail = ID.substring(4);
        hash -= tail;
        if   (hash % 95 != 0)
             {return false}
        else {return true };
       };
};