/* Do not remove the headers from this file! see /USAGE for more info. */

private mixed tzone;



mixed query_tz()
{
    return tzone;
}


void set_tz(mixed tmp)
{
    tzone = tmp;
}