; Jan  2 07:11:25 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))
