document.write('0832\n');