BEGIN {
t0kei = 0
t1kei = 0
t2kei = 0
t3kei = 0
t4kei = 0
t5kei = 0
}
{
t0kei = t0kei+$2
t1kei = t1kei+$3
t2kei = t2kei+$4
t3kei = t3kei+$5
t4kei = t4kei+$6
t5kei = t5kei+$7
}
END {
printf ("%20s %15s %15s %15s %15d %15d %15d %15d %15d %15d\n","2520S(~)","-","-","-",t0kei/1000,t1kei/1000,t2kei/1000,t3kei/1000,t4kei/1000,t5kei/1000)
}