(3 permute 3) times (4 permute 3) times (5 permute 3)