<script language="JavaScript1.2"> <!-- function all_done() { window.document.intro.SetVariable("gogogo", 5); } // --> </script>