#!/usr/bin/env sh echo "W3m-control: SET_OPTION user_agent=" echo "W3m-control: BACK" echo "W3m-control: RELOAD"