#include <stdio.h>
int main(void)
{
int val
=5; do{ val
++; ++val
; } while(val
++>7); printf("%d",val
); return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CgppbnQgbWFpbih2b2lkKQp7CmludCB2YWw9NTsgZG97IHZhbCsrOyArK3ZhbDsgfSB3aGlsZSh2YWwrKz43KTsgcHJpbnRmKCIlZCIsdmFsKTsgcmV0dXJuIDA7Cgp9