function scroll(value) {
 document.getElementById("text").scrollTop=parseInt(document.getElementById("text").scrollTop)+value
}