<!--



function replace_css(id,url){

	if(!document.getElementById) return false;

	var element = document.getElementById(id);

	if(!element || !element.cloneNode) return false;

	var new_node = element.cloneNode(true);

	new_node.href = url;

	element.parentNode.replaceChild(new_node,element);

	return true;

}





function changeCSS(){

	setTimeout("replace_css('pcss', '../css/print_default.css')",100);

}



-->