function copyText() 
{
  r=dump.createTextRange();
  r.select();
  r.execCommand('copy');
}
 
function pasteText() 
{
  r=dump.createTextRange();
  r.select();
  r.execCommand('paste');
}