document.write('0295\n');