php nerds: build fussy concatenated strings, or use printf?