document.write('4992')