// JavaScript Document
function url(url)  
	       {	    document.location=url;      
		   
		     }