The DEST name (xxxx) is the CICS four character network printer id(CICS TCT).
The Ideal printer destinations are stored in ADROUT.
Whenever you format ADROUT you need to readd the printer destinations.
That's why we always tell customers to store the DEFINE OUTPUT cards in an IDEAL member that you then execute after having inited ADROUT.
To see the existing destinations run in IDEAL (online or IDBATCH) :
D OUTPUT DEST .
In CICS you can also use transaction IPCV where you can run DIS OUT DEST.