function locationURL(url)
{
	location.href = url;
}

function ajaxUpdate(divID, fileName)
{
	new Ajax.Updater(divID, fileName, {asynchronous:true, evalScripts:true}); 
}

function pageNumOver(p)
{
	p.style.color = '#ffffff';
	p.style.border = '3px solid #1763b0';
	p.style.backgroundColor = '#7fb3e6';
}

function pageNumOut(p)
{
	p.style.color = '#7fb3e6';
	p.style.border = '3px solid #b4d6f7';
	p.style.backgroundColor = '#ecf6ff';
}