var _IMAGE = new Image(1,1);
function refreshSession()
{
    _IMAGE.src = "/php/refreshSession.php?" + Math.round(Math.random()*100000000);
    window.setTimeout('refreshSession()', 5 * 60 * 1000);
}
window.setTimeout('refreshSession()', 5 * 60 * 1000);

function changeresults(id, val)
{
    el = document.getElementById(id);
    el.action = "?s=" + val;
    document.forms[id].submit();
}