function $(id){ return get_element(id); }
function get_element(name){
	if(document.getElementById){
		element = document.getElementById(name);
	}else if (document.all){
		element = document.all[name];
	}else if (document.layers){
		element = document.layers[name];
	}
	return element;
}
// copy_clip taken from http://www.krikkit.net/howto_javascript_copy_clipboard.html
function copy_clip(maintext){
	if (window.clipboardData) {// the IE-manier
			window.clipboardData.setData("Text", maintext);
			// waarschijnlijk niet de beste manier om Moz/NS te detecteren;
			// het is mij echter onbekend vanaf welke versie dit precies werkt:
	}else if (window.netscape){ 
			// dit is belangrijk maar staat nergens duidelijk vermeld:
			// you have to sign the code to enable this, or see notes below 
			netscape.security.PrivilegeManager.enablePrivilege('UniversalXPConnect');
		// maak een interface naar het clipboard
			var clip = Components.classes['@mozilla.org/widget/clipboard;1']
																	.createInstance(Components.interfaces.nsIClipboard);
			if (!clip) return;
		// maak een transferable
			var trans = Components.classes['@mozilla.org/widget/transferable;1']
								.createInstance(Components.interfaces.nsITransferable);
			if (!trans) return;
		// specificeer wat voor soort data we op willen halen; text in dit geval
			trans.addDataFlavor('text/unicode');
		// om de data uit de transferable te halen hebben we 2 nieuwe objecten 
			// nodig om het in op te slaan
			var str = new Object();
			var len = new Object();
		var str = Components.classes["@mozilla.org/supports-string;1"]
							.createInstance(Components.interfaces.nsISupportsString);
		var copytext=maintext;
		str.data=copytext;
		trans.setTransferData("text/unicode",str,copytext.length*2);
		var clipid=Components.interfaces.nsIClipboard;
		if (!clip) return false;
		clip.setData(trans,null,clipid.kGlobalClipboard);
  }
  return false;
}