Strings Php

printf("
Space padding can be tricky in HTML %5d.
", 42);
?>