printf %4d