# 5.2 Fact变量