document.write('3934\n');