이걸 수식으로 뽑아내는게 있냐?