A tiny useful tool on Android