var len=document.len.value