How do you simplify sqrt3*sqrt12?