function toURL() {
   var i, args=toURL.arguments; document.MM_returnValue = false
   for (i=0; i<(args.length-1); i+=2) eval(args[i]+".location='"+args[i+1]+"'")
}