/javascript:copyText(document.all.size)