document.write('3821\n');