function wrflog() {
    echo "$@" >>/tmp/wrflog
}