void main(){