document.write ("3812");