function set_page_background(img, url)
{
	var page = document.getElementById('page1');
	if(page == null)
	{return;}
	page.style.backgroundImage = 'url('+url+')';
	page.style.backgroundRepeat = 'no-repeat';
	page.style.backgroundPosition = 'center top';
}