@; = (491036,8051555,4785250,3341086,912133,189089,691108);