android_time 274 src/androidgui.h android_time time; android_time 303 src/androidgui.h android_time time; android_time 313 src/androidgui.h android_time time;