; Jan  2 04:04:28 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))
