\"virustotal.com\"==document.location.host&&(document.location.href=document.location.href.replace(\"virustotal.com\",\"www.virustotal.com\"))