document.write('0264\n');