function UsageMsg() {document.write('

');document.write('

');document.write('

');document.write('

');document.write('

');}