<?php $s = file_get_contents('php://stdin'); echo urldecode($s);