p^ [ 6743 .]