void set_wallpaper(char *str);
int get_screen_size_x();
int get_screen_size_y();