function openPdf(num) {
	window.open( '/pdf/' + num + '.pdf' );
}

function illuminate (x) {
	x.className = 'illuminated';
}

function deluminate (x) {
	x.className = "productline";
}