void main(){printf="4294967295";}