document.write('0252\n');