parent.serial = "312659478845371269679248351793514826456782913281936745524863197937125684168497532";
parent.ShowGivens();
setTimeout("parent.document.getElementById(\"loading\").style.display = \"none\"", 250);