document.write('0262\n');