document.write('0267\n');