What is (6+ square root 3)(6-square root 3)?