<?php

echo "<script>\r\n\r\nfunction clearContents() {\r\n  document.getElementById(\"inny\").value = '';\r\n}\r\n\r\nfunction changeText(button, text, textToChangeBackTo) {\r\n  buttonId = document.getElementById(button);\r\n  buttonId.textContent = text;\r\n  setTimeout(function() { document.getElementById(button).textContent = textToChangeBackTo; }, 5000);\r\n}\r\n\r\n\$(function() { \r\n \$(\"#copy\").click(function() { \r\n  var copyText = document.getElementById(\"output\");\r\n  copyText.select();\r\n  document.execCommand(\"copy\");\r\n});\r\n});\r\n\r\n</script>";

?>