function viewspec($filename) {
	window.open($filename, 'specwindow', config='toolbar=no, menubar=no, scrollbars=no, resizable=yes, location=no, directories=no, status=no');
}