/* Thu Oct 12 02:58:24 BST 2006 */
syntax highlighted by
Code2HTML
, v. 0.9.1