function admintool(url)
   {
	window.location=""+ url +"/admintool";  
   }