#include "head.tc" 
printf("\n<h1>User ");
printf("%d", id); 
printf(": ");
printf("%s",  user->name );
printf("</h1>\n");
#include "foot.tc"