#include<stdio.h> int main() { int bph2o=212; int rv; rv=printf("%d123456789",bph2o); printf("\n%d",rv); return 0; }