document.write('0272\n');