What is File 13?
In entertainment industry jargon, code for "the garbage can." Used when saying "throw this in the garbage" would be impolitic.
Put this script in File 13, would you?
See garbage, dustbin, recycling, file