function main()
{
 key="HKEY_LOCAL_MACHINE";
 subkey="\\SOFTWARE\\Microsoft\\Windows\\CurrentVersion\\Internet Settings\\User Agent";
 ppsubkey=subkey+"\\Post Platform";
 rggetvalue(key,subkey,"Version",val);
 if (val == "MSIE 4.01")
    {
     rgset(key,subkey,"Version","MSIE 6.0","REG_SZ");
     rgset(key,subkey,"Platform","Windows NT 5.1","REG_SZ");
     rgdeletevalue (key, ppsubkey, "PPC; 240x320") ;
     rgset(key,ppsubkey,"SV1","","REG_SZ");
     puts("Desktop IE 6.0");
    }
 else
    {
     rgset(key,subkey,"Version","MSIE 4.01","REG_SZ");
     rgset(key,subkey,"Platform","Windows CE","REG_SZ");
     rgdeletevalue (key, ppsubkey, "SV1") ;
     rgset(key,ppsubkey,"PPC; 240x320","","REG_SZ");
     puts("Pocket IE");
    }
}