{ print "            ", $0 }


syntax highlighted by Code2HTML, v. 0.9.1