printf($body,34,$body,34);