F HELP.;1                           	help
D JOBS-92                           	jobs-92
D JOBS-93                           	jobs-93
D LAMBDA                            	lambda
D LECTURES                          	lectures
D SOURCE                            	source