document.write('3267\n');