function out(el, f, pool, total) {
loadXMLDoc3(el, f.value);
pool = pool+parseInt(f.value);
total = total + 1;
var out = Math.ceil(parseInt(pool)/parseInt(total)); 
document.getElementById("s" + el).innerHTML = "Score: " + out + " / 5 (" + total + " votes) &nbsp; | <span style=\"color:red; font-weight:bold;\">Thanks for voting</span>";
}


function loadXMLDoc3(nr, score)
{
var url = "js/process.php?nr=" + nr + "&s=" + score;
// code for Mozilla, etc.
	if (window.XMLHttpRequest)
	{

		xmlhttp3=new XMLHttpRequest();
		xmlhttp3.onreadystatechange = xmlhttpChange3;
		xmlhttp3.open("GET", url, true);
		xmlhttp3.send(null);
	}
	// code for IE
	else if (window.ActiveXObject)
	{
		xmlhttp3=new ActiveXObject("Microsoft.XMLHTTP");
		if (xmlhttp3)
		{
			xmlhttp3.onreadystatechange = xmlhttpChange3;
			xmlhttp3.open("GET", url, true);
			xmlhttp3.send();
		}
	}
}

function xmlhttpChange3()
{

if (xmlhttp3.readyState==4)
  {
  if (xmlhttp3.status==200)
    {

data = xmlhttp3.responseText;
    }
 
  }
}