X-mmm-0: form, WBwidget0, -1, X-mmm-1: label, WBwidget1, 0, varName, WBwidget1, label, Null Label, justify , XtJustifyCenter, borderWidth, 0, height, 17, width, 68, x, 4, y, 4, highlightThickness, 0, borderColor, 0, foreground, 0, background, 1, vertDistance, 4, horizDistance, 4, left, XtChainLeft, right, XtChainRight, top, XtRubber, bottom, XtRubber, resizable, TRUE, font, timesRoman12, string , , X-mmm-2: ascii text, WBwidget2, 0, varName, WBwidget2, justify, XtJustifyCenter, borderWidth, 1, height, 19, width, 100, x, 76, y, 4, highlightThickness, 0, borderColor, 0, foreground, 0, background, 1, vertDistance, 4, horizDistance, 4, left, XtRubber, right, XtRubber, top, XtRubber, bottom, XtRubber, resizable, TRUE, fromHoriz, 1, font, timesRoman12 , string, , editType, XttextEdit, length, ASCII_TEXT_STRING_SIZE, textOptions , resizeHeight | resizeWidth, X-mmm-3: form, WBwidget3, -1, X-mmm-4: label, WBwidget4, 3, varName, WBwidget4, label, Null Label, justify , XtJustifyCenter, borderWidth, 0, height, 17, width, 68, x, 4, y, 4, highlightThickness, 0, borderColor, 0, foreground, 0, background, 1, vertDistance, 4, horizDistance, 4, left, XtChainLeft, right, XtChainRight, top, XtRubber, bottom, XtRubber, resizable, TRUE, font, timesRoman12, string , , X-mmm-5: ascii text, WBwidget5, 3, varName, WBwidget5, justify, XtJustifyCenter, borderWidth, 1, height, 19, width, 100, x, 76, y, 4, highlightThickness, 0, borderColor, 0, foreground, 0, background, 1, vertDistance, 4, horizDistance, 4, left, XtRubber, right, XtRubber, top, XtRubber, bottom, XtRubber, resizable, TRUE, fromHoriz, 4, font, timesRoman12 , string, , editType, XttextEdit, length, ASCII_TEXT_STRING_SIZE, textOptions , resizeHeight | resizeWidth, X-mmm-6: form, WBwidget6, -1, varName, WBwidget6, justify, XtJustifyCenter, borderWidth, 1, height, 147, width, 228, x, 4, y, 74, highlightThickness, 0, borderColor, 0, foreground, 0, background, 1, vertDistance, 4, horizDistance , 4, left, XtRubber, right, XtRubber, top, XtRubber, bottom, XtRubber, resizable, TRUE, fromHoriz, 4, font, timesRoman12, string, , X-mmm-7: form, WBwidget7, 6, varName, WBwidget7, justify, XtJustifyCenter, borderWidth, 1, height, 50, width, 219, x, 3, y, 35, highlightThickness, 0, borderColor, 0, foreground, 0, background, 1, vertDistance, 35, horizDistance , 3, left, XtChainLeft, right, XtRubber, top, XtChainTop, bottom, XtRubber, resizable, TRUE, font, timesRoman12, string, , X-mmm-8: button, WBwidget8, 7, varName, WBwidget8, label, Unlabelled Button, justify, XtJustifyCenter, borderWidth, 1, height, 17, width, 98, x, 4, y, 4, highlightThickness, 2, borderColor, 0, foreground, 0, background, 1, vertDistance, 4, horizDistance, 4, left, XtRubber, right, XtRubber, top, XtRubber, bottom, XtRubber, resizable, TRUE, font, timesRoman12, string, , callback, , X-mmm-9: button, WBwidget9, 7, varName, WBwidget9, label, Unlabelled Button, justify, XtJustifyCenter, borderWidth, 1, height, 17, width, 98, x, 3, y, 27 , highlightThickness, 2, borderColor, 0, foreground, 0, background, 1, vertDistance, 27, horizDistance, 3, left, XtChainLeft, right, XtRubber, top, XtChainTop, bottom, XtRubber, resizable, TRUE, font, timesRoman12, string, , callback, , X-mmm-10: button, WBwidget10, 7, varName, WBwidget10, label, Unlabelled Button, justify, XtJustifyCenter, borderWidth, 1, height, 17, width, 98, x, 115, y, 3, highlightThickness, 2, borderColor, 0, foreground, 0 , background, 1, vertDistance, 3, horizDistance, 115, left, XtChainLeft, right, XtRubber, top, XtChainTop, bottom, XtRubber, resizable, TRUE, font, timesRoman12, string, , callback, , X-mmm-11: button, WBwidget11, 7, varName, WBwidget11, label, Unlabelled Button, justify, XtJustifyCenter, borderWidth, 1, height, 17, width, 98, x, 114, y, 27, highlightThickness, 2, borderColor, 0, foreground, 0, background, 1, vertDistance, 27, horizDistance, 114, left, XtChainLeft, right, XtRubber, top, XtChainTop, bottom, XtRubber, resizable, TRUE, font, timesRoman12, string, , callback, , X-mmm-12: label, WBwidget12, 6, varName, WBwidget12, label, Null Label, justify, XtJustifyCenter, borderWidth, 0, height, 17, width, 68, x, 59, y, 103, highlightThickness, 2, borderColor, 0, foreground, 0, background, 1, vertDistance, 103, horizDistance, 59, left, XtChainLeft, right, XtRubber, top , XtChainTop, bottom, XtRubber, resizable, TRUE, font, timesRoman12, string, , X-mmm-13: button, WBwidget13, 6, varName, WBwidget13, label, Unlabelled Button, justify, XtJustifyCenter, borderWidth, 1, height, 17, width, 98, x, 108, y, 124, highlightThickness, 2, borderColor, 0, foreground , 0, background, 1, vertDistance, 124, horizDistance, 108, left, XtChainLeft , right, XtRubber, top, XtChainTop, bottom, XtRubber, resizable, TRUE, font, timesRoman12, string, , callback, , X-mmm-14: label, WBwidget14, 6, varName, WBwidget14, label, SAMPLE INTERFACE , justify, XtJustifyCenter, borderWidth, 0 , height, 17, width, 218, x, 4, y, 4, highlightThickness, 2, borderColor, 0, foreground, 1, background, 0, vertDistance, 4, horizDistance, 4, left, XtChainLeft, right, XtChainRight, top, XtRubber, bottom, XtRubber, resizable , TRUE, font, timesRoman12, string, ,