<?php

echo intdiv(13, 10) * 10 . "\n";
echo intdiv(25, 10) * 10 . "\n";
echo intdiv(137, 10) * 10 . "\n";