function thumbsheetscroll(id, x)
{
 document.getElementById(id).scrollTop=x;
}