currentsucc = info(recordpointer);
decrease(currentsucc,count);
if(iszero(currentsucc,count))
{
ranking.rank[*pbag] = currentsucc;
*pbag = *pbag + 1;
}