public static function printNodeName($node, $indent = 0) { print str_repeat("\t", $indent); print self::nodeName($node); print "\n"; }