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