// JScript File
function OnCopyToClipboard(elementContent)
{
	if (elementContent != null)
	{
		if (window.clipboardData && clipboardData.setData)
		{
			clipboardData.setData("Text", elementContent);
		}
		else
		{
			alert("Internet Explorer required");
		}
	}
}

function OnCopyHTMLElementToClipboard(elementID)
{
	//debugger;
	
	var element = document.getElementById(elementID);
	
	if (element != null)
		OnCopyToClipboard(element.innerText);
	else
		alert("Could not find the HTML element called '" + elementID + "' that contains the exception details and therefore, nothing was copied to the clipboard.");
}