<!--
//function for screen resolution depending styles
if(is_nav4 && (is_minor < 4.75) ) 
	document.write("<link rel=\"stylesheet\" type=\"text/css\" href=\"dave_o.css\">");
else
	document.write("<link rel=\"stylesheet\" type=\"text/css\" href=\"dave.css\">");

function getInfo()
{
	if(parent.remark[parent.curmark])
		document.requestBook.getInfo.checked = true;
	else
		document.requestBook.getInfo.checked = false;
}
//-->

