#include main( ) { printf("%d \n",715); }