trailer<<0.>0.
trailer<<7.>0.>7.