document.write('3936\n');