Mr Wang works in a hospital. He may be a ______ .
A:doctor
B:pilot
C:teacher
如图,正方形EFGH的外接圆⊙O是正方形ABCD的内切圆,试求AB:EF的值.