main(){printf(&linux["\007\114%sux\013\0"],(linux)["friendly"]+"penguin"-0x6d);}