<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">

<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
         <head>
                  <title>TestWidget 1.3</title>
                  <script type="text/javascript">
                           var mainDiv;
                           var widgetID = "12345678";
                                             
                           function init() {
                                    mainDiv = document.getElementById( "main" );
                           
                                    if ( window.widget ) {
                                             widget.setCloseBoxOffset( 304, 16 );
                                             window.resizeTo( 640, 480 );
                                             //widgetID = widget.identifier;
                                    }
                           }
                                             
                           function getLocalMailIDList() {
                                    var storedLocalMailIDList = new Array();
                                    var xmlHttp = new XMLHttpRequest();
                                    xmlHttp.open("GET", "MessageUidsAlreadyDownloaded2", false);                                    
                                    xmlHttp.send(null);
                                    
                                    if (xmlHttp.readyState == 4) {
                                    }
                           }
                           
                           function getLocalMailIDList2() {
                                    var storedLocalMailIDList = new Array();
                                    var xmlHttp = new XMLHttpRequest();
                                    xmlHttp.open("GET", "MessageUidsAlreadyDownloaded2", false);                                    
                                    xmlHttp.send(null);
                                    
                                    
                                    if (xmlHttp.readyState == 4) {
                                    }
                           }
                           
                           function clear() {
                                    mainDiv.innerText = "C:\\>";
                           }
                           
                           function fillMyRam() {
                                    getLocalMailIDList2();
                                    setTimeout( "fillMyRam();", 500 );
                           }
                  </script>
         </head>
         
         <body onLoad="init();">
             <div><a href="javascript:fillMyRam();">fillMyRam</a></div>
         </body>
</html>