关于编码法官NZEC的Python错误

Question

我有以下程序。我无法弄清楚为什么它会给出错误判断的NZEC错误。 请帮助。

import math
def main()
    n = int(raw_input())
    while n != 0:
        a = (n * n) / (math.pi * 2)
        print "{0:.2f}".format(a)
        n = int(raw_input())

if __name__ == '__main__':
    main()