#!/usr/bin/php -n
<?php
# Copyright (C) 2011, 2014 Luke Shumaker <lukeshu@sbcglobal.net>

$contents = file_get_contents('php://stdin');
echo urldecode($contents);