// JavaScript Document
// Copies passed text to the clipboard
	function copyToClipboard(text) {
		var range = document.body.createTextRange();
		range.findText(text);
		range.select();
		document.execCommand("Copy");
		document.execCommand("Unselect");
	}