정식 o3는?