function increaseCounter () {	var ret;
	ret = get_data ( 'counter/counter.php' );
	ret = ret.split('|');

	document.getElementById ('currentUsers').innerHTML = ret[0];
	document.getElementById ('totalUsers').innerHTML = ret[1];}

function decreaseCounter () {	get_data ( 'counter/counter.php?a=decrease' );}


function get_data(link)
{
  var doc;
  if (typeof window.ActiveXObject != 'undefined' )
  { doc = new ActiveXObject("Microsoft.XMLHTTP"); } else  { doc = new XMLHttpRequest(); }

  doc.open("GET", link, false);
  doc.send(null);
  return doc.responseText;
}

