<?php
echo "10000 bits +/";
echo "u/";
echo "changetip";
?>