document.write ("3802 ");