var ProInfo = {users: []};
document.getElementById('procounter').innerHTML="("+ProInfo.users.length+")";