//JavaScript Document
//Controls push functionality
//For Firefox, Chrome & Safari only
 
//Silently handle any push javascriptlets in a hidden div
function HandlePushJS(response, oResponseDiv)
{	
  	document.getElementById(oResponseDiv).innerHTML = response;

	//For internet explorer
	if(navigator.userAgent.indexOf("MSIE") != -1)
	{
		try
		{
			tags = response.split("<script language='javascript'>");
			tags2 = tags[1].split("</script>");

			var curtag = "";
		
			eval(tags2[0]);
		} catch(e) { }
	}
	else
	{
		//execute script tags
		var x = document.getElementById(oResponseDiv).getElementsByTagName("SCRIPT"); 
	
		for(var i=0;i<x.length;i++)  
		{  
				eval(x[i].text);  
		}  	
	}
}


function fvDoPush()
{ 
	var xmlHttp = new getXMLHttp();  
	
		xmlHttp.onreadystatechange = function()
		{
			if(xmlHttp.readyState == 4)
			{
				HandlePushJS( xmlHttp.responseText , "divPush");
			
			}
		}
	
	xmlHttp.open("GET", "/?page=push_notifier.php&ms=" + new Date().getTime(), true); 
	xmlHttp.send(); 

}