function visit(newURL)
{
	//--If the selected file name isn't blank, send it to reader.
	if (newURL != "")
	{
	location.href=newURL
	}
}