Hey
Never format the hard drive when there is a virus. Y? Coz it may create bad clusters. So you have to remove it somehow. Never use AVG. It's a useless thing. If you want to have an antivirus tool, use bitdefender or nod32, f-secure or kaspersky...They are also available in rapidshare and...