--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/cm/media/js/lib/flexible-js-formatting/clip.js	Mon Nov 23 15:14:29 2009 +0100
@@ -0,0 +1,7 @@
+if (window.clipboardData) {
+    c = window.clipboardData.getData("Text");
+    if (c) {
+        document.write("<p>The contents of your clipboard:</p>");
+        document.write("<blockquote>" + c + "</blockquote>");
+    }
+}