; Jan  2 07:09:41 2008
((selectionObject fullName "/PORT16/MINUS" type terminal) (selectionObject fullName "/PORT16/PLUS" type terminal) (selectionObject fullName "/PORT13/MINUS" type terminal) (selectionObject fullName "/PORT13/PLUS" type terminal))
