// hide pagination if it's blank
if(document.getElementById('pagination')){
	if(document.getElementById('pagination').innerHTML=="")
		document.getElementById('pagination').style.display='none';
	if(document.getElementById('pagination-btm').innerHTML=="")
		document.getElementById('pagination-btm').style.display='none';	
}

// the following 2 functions aren't required but the need to remain here to stop a JS error form occurring
function buyhighligher_off(){
	// nothing required;
}

function buyhighligher_on(){
	// nothing required;
}