The top documents tagged [int a4 int]