document.write ("3812")