#include <stdio.h>
main(void){printf(__FILE__);}