document.write('3912\n');