printf(pnn/n) ;
xx_pbs