// JavaScript Document

function refresh_frame() {
	var frame = document.getElementById("session");
	frame.src="includes/session_refresh.php";
	setTimeout("refresh_frame()",1000*60*5); // 5 min
	//setTimeout("refresh_frame()",1000*5*1); // 5 sec
}