PASS(document4a)
PASS(document4b)
PASS(document4c)
