add get_robots_name() function