stdin	7
7
19
