/* client-side recordset */
var RgbPSRS = new Recordset("RgbPSRS", "RGBE");
var Form1= new formDef('Form1',nullFunc,nullFunc);
var Hidden1= new HiddenDef('Hidden1');

if (document.layers) {
document.layers.LyrSection0.document.LyrText3.document.captureEvents(Event.MOUSEUP);
document.layers.LyrSection0.document.LyrText3.document.onMouseUp = Text3_onClick;
document.layers.LyrSection0.document.LyrText7.document.captureEvents(Event.MOUSEUP);
document.layers.LyrSection0.document.LyrText7.document.onMouseUp = Text7_onClick;
}