input
EOF