main(){ extern int times(); printf("%d",times());}