What trojan was it?
The filename would appear to be random so it could be anything. Some viruses / trojans use random strings of letters to avoid be spotted.
If AVG on your mates PC spotted it it must have told him what it was. Also the Virus Vault will tell him too.