document.write('0231\n');