procedure main() t:=0 while t+:=read() write(t) end