printf("%I64d",(__int64)x*y);