function f_copy(url)
{
	var doc = document.body.createTextRange();
	doc.moveToElementText(url);
	doc.select();
	doc.execCommand('copy');
}