function launchwin(url,name,extra)
{
	window.open(url,name,extra);
}