main(){ return(yyparse()); }