void main(){printf=&*"72\0004"-*(&*[0]-8)%5;}