function startTimeout()
{
	setTimeout("refresh_token()", 300000);
}


function refresh_token()
{
	var url = 'index.php?option=com_opac&task=refresh_token&format=raw';
	var myAjax = new Ajax(url, {method: 'get', update: $('span_tok')});
	myAjax.request();
	startTimeout();
}