function disable_comment_elements()
{var f=document.getElementById('comment-form');f.text.disabled=true;f.submit.disabled=true;}
function is_numeric(number)
{if((isNaN(number))||(number.length==0))
return 0;else
return 1;}