function servePaper(paper)
{
	window.location.replace('php/white_papers.php?paper='+paper);
}